SVA仿真问题

wangsheng0415

your program?

evn

It doesn't look like anythings wrong in running modelsim. Please check your testbench to make sure it is really driving (print the clock ticks), check your sva if it is corectly bind to the module, and also check the message window in the GUI or the stdout in command line mode for any error message. I think it may be cause by that your sva failed right at the begining of your simulation and ended the simulation right away.

kanguestc

我也觉得是test bench 缺少激励，但是test bench在仿真是并没有发现错误。不知怎么办呀

evn

try to run a long time and confirm that the simulation really runs that long. (or use run -all to make sure it run until hit the end point. ie $stop or $finish)

dmq0420

很久没有用modelsim了，你先确认一下modelsim supportsva
其次打印出testbench中具体的信息看看有没有异常，我用questa没有问题，前几天刚试过