How to see assertion using vsim viewer?

[Sunil Dodiya]

vsim +acc

Hi,
Can anyone please let me know how I can see assertion in waveform window?
I am using Questa version 6.4

I am using following vsim command to dump all signals :
vsim -c -do "add wave -r /*; run -all; quit -f"

But I am able to see all the signals but not assertions.
Please help.

Thanks in advance,
Sunil

 

[jbeniston]

vsim view command

Do they work if you run interactively? i.e. vsim -i
then don't do 'quit -f'

Do your assertions have an else clause? If so, they wont show up in the waveform window.

 

[Sunil Dodiya]

vsim command

I removed else clause but still not showing assertions. I am not using -i option.
Here is the command i used :
vsim -c top -do vsim.do
vsim.do file contains :
add log -r /*
run -all
quit -f

after simulation, I am trying to see waveform using:
vsim -view vsim.wlf

I have attached the file.

Regards,
Sunil

 

[aji_vlsi]

vsim waveform viewer

Try using

vsim –voptargs=+acc

Let us know if that worked!

Ajeetha, CVC
www.cvcblr.com

 

[Sunil Dodiya]

vsim.do add all wave

Didn't work with this option..

 

[jbeniston]

questa wave window atv

Try running interactively with -i

 

[bharundi]

vsim +acc=

There seems to be no option for selecting/adding all assertions; however, if you are interested in the specific ones, the label of the assertion can be specified additionally, i.e.:

vsim -c -do "add wave -r /* /<TOP>/<ASSERTION_LABEL>; run -all; quit -f"

This way, you can add more than one assertion.

 

[aji_vlsi]

how does questa show assert in wave window

Didn't work with this option..

Sorry I got your Q wrongly, I thought you are missing some signals. That happens due to VOPT and the option I provided disables some of that.

We do this all the time here @CVC. Do::

 vsim -assertdebug

Then click on: View --> Assertions (or Tools --> Assertions)

As per their DOC, "Add all objects in design" should add assertions as well, did you try that?

Also explore their ATV feature, quite nice - though little hard to use.

HTH
Ajeetha, CVC
www.cvcblr.com