求助：VCS怎么看SVA跑出来的波形？

virsim中有啊，而且你也可以看log吧

呃，我想问的是：怎么启动SVA?

1. generate vpd file
2. using dve to watch waveform

-assert dve -sverilog

晕！看错了

add in the initial block of testbench:
$vcdpluson;
compile:
vcs -f rtl_files.lst -lca -debug_all -assert dve -sverilog

run sim:
simv -debug -tbug -gui +vpdfile+vcdplus.vpd

谢谢！

好问题

thinks
good

it seem that DVE is great

学习了

同问同问～～

问一句， IUS如何看sva跑出来的波形呢?哪位大侠给个建议?

dddddddddddd

用verdi或者用dve都能看，用verdi需要用201004后的版本，06的看不成。dve可以用比较老的版本，

仰慕一下前辈~

tb中设置down查看断言的波形，类似于fsdb，具体语法忘记了

verdidve哪个好用