In the Cadence Simvision waveform viewer, I can see every assertions listed as a hierarchical signal, and also can browse assertions and view their counts (failed, active, finished) as regular waveforms.
Now in the Verdi, I cannot do like that.
Does anyone know how to make assertions viewable just like regular nets/signals in Verdi?
Thanks in advance.In the Cadence Simvision waveform viewer, I