fsdb波形中载入SVA

诸葛小天

自己尝试写写断言模块，能够编译成功，log上有打印信息；

怎么将  断言  在 波形fsdb 中显现出来了？

需要加什么编译选项嘛？

forever_leng

$fsdbDumpSVA

诸葛小天

   

forever_leng 发表于 2019-9-2 15:43
$fsdbDumpSVA

谢了呀，有波形了。
不过我现在波形上出来的SVA波形只有失败的下降沿，没有成功的上升沿  ；  这是为啥呀

gaurson

有一个FSDB_SVA_SUCCESS的环境变量，你看一下是不是0，如果是，就改为1，就能看到成功标志了。

诸葛小天

   

gaurson 发表于 2019-9-3 17:32
有一个FSDB_SVA_SUCCESS的环境变量，你看一下是不是0，如果是，就改为1，就能看到成功标志了。 ...

verdi里面？  还是编译？

gaurson

你是linux工作站吗？直接setenv即可。具体命令里面怎么加，我就不知道了。

诸葛小天

   

gaurson 发表于 2019-9-4 16:50
你是linux工作站吗？直接setenv即可。具体命令里面怎么加，我就不知道了。

添加  run_option :      +fsdb +sva_success       即可

桅杆

   

诸葛小天 发表于 2019-9-4 18:45
添加  run_option :      +fsdb +sva_success       即可

我参照着加了代码和option,但是依然没有成功的assertion显示在波形上，但是打印信息会多了成功的信息。是不是我还 忽略了什么？ 我用的是verdi查看波形的。

诸葛小天

   

桅杆 发表于 2019-10-24 09:48
我参照着加了代码和option,但是依然没有成功的assertion显示在波形上，但是打印信息会多了成功的信息。是 ...

这张图里面 的 参数都添加上了吗？

                               
登录/注册后可看大图

桅杆

   

诸葛小天 发表于 2019-10-24 13:57
这张图里面 的 参数都添加上了吗？

是的，加上了，代码是下面那样的，仿真的指令是  ./sim -assert success