fsdb波形中载入SVA

诸葛小天 · 发表于 2019-9-2 14:06:07

您需要登录才可以下载或查看，没有账号？注册

x

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

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

需要加什么编译选项嘛？

forever_leng · 发表于 2019-9-2 15:43:28

$fsdbDumpSVA

诸葛小天 · 发表于 2019-9-3 09:45:19

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

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

；这是为啥呀

gaurson · 发表于 2019-9-3 17:32:25

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

诸葛小天 · 发表于 2019-9-4 14:06:56

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

verdi里面？还是编译？

gaurson · 发表于 2019-9-4 16:50:42

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

诸葛小天 · 发表于 2019-9-4 18:45:27

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

添加 run_option : +fsdb +sva_success 即可

桅杆 · 发表于 2019-10-24 09:48:36

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

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

诸葛小天 · 发表于 2019-10-24 13:57:41

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

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

登录/注册后可看大图

桅杆 · 发表于 2019-10-24 16:25:25

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

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

[求助] fsdb波形中载入SVA