fsdb波形中载入SVA

诸葛小天 · 发表于 2019-10-24 17:19:13

桅杆发表于 2019-10-24 16:25
是的，加上了，代码是下面那样的，仿真的指令是 ./sim -assert success

波形加载没问题呀，是不是编译仿真选项的问题

桅杆 · 发表于 2019-10-24 17:55:34

诸葛小天发表于 2019-10-24 17:19
波形加载没问题呀，是不是编译仿真选项的问题

有关的option大概就这些，还有什么缺的吗？

还有 -debug_access+all 也加了

诸葛小天 · 发表于 2019-10-25 11:11:35

桅杆发表于 2019-10-24 17:55
有关的option大概就这些，还有什么缺的吗？

你这里面没加 +sva_success 吧

附上我的编译仿真选项：

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

诸葛小天发表于 2019-10-25 11:11
你这里面没加 +sva_success 吧

附上我的编译仿真选项：

啊，谢谢，我把 +assert succeed 和 +sva_success 混用了

猫猫猫 · 发表于 2019-10-26 10:34:24

学习了，谢谢楼主！！！

Liz6868 · 发表于 2019-11-2 21:36:20

$fsdbDumpSVA

skle · 发表于 2019-11-15 22:11:02

学习了

我不是三毛 · 发表于 2019-11-16 22:24:46

首先 top.sv中添加$fsdbDumpSVA ,仿真的时候需要添加+fsdb+sva_success（vcs2017版本需要添加，否则不会显示成功的断言波形）

静心聆听 · 发表于 2019-11-20 17:26:04

楼主有什么学习断言的书籍吗？一直都想学习断言，但是不知道怎么做

ICJJ · 发表于 2021-10-8 16:49:24

在makefile里加这么一句话

export FSDB_SVA_SUCCESS=1

[求助] fsdb波形中载入SVA