satishsa
Newbie level 3
I am migrating to questasim 10.3c from an older version of the tool. I use a 3-step compilation process.
vlog
vopt
vsim
I noticed after the migration that I am unable to view any of my assertions in the wavefoem and am greeted with the message:
# (vish-4014) No objects found matching 'sim:/.................'
I did some investigation and saw that during my vopt compilation, I had the flag +acc=a set. Although this should work for PSL and SystemVerilog assertions (according to the manual), It wasn't.
I decided to just enable "+acc" which allows all flags. Less optimal, but should solve my problem. Nope, it did not.
At this point the only other choice I have is to not optimize using +novopt but I do not want to do this. Any idea why this isn't working as expected?
Thanks
vlog
vopt
vsim
I noticed after the migration that I am unable to view any of my assertions in the wavefoem and am greeted with the message:
# (vish-4014) No objects found matching 'sim:/.................'
I did some investigation and saw that during my vopt compilation, I had the flag +acc=a set. Although this should work for PSL and SystemVerilog assertions (according to the manual), It wasn't.
I decided to just enable "+acc" which allows all flags. Less optimal, but should solve my problem. Nope, it did not.
At this point the only other choice I have is to not optimize using +novopt but I do not want to do this. Any idea why this isn't working as expected?
Thanks