dve波形中assertion成功不显示

lowlowlow

参考：
https://www.cnblogs.com/jyaray/p/5953644.html

西电IC

muscle祥 发表于 2021-10-8 14:56
请问一下解决了吗？我最近也遇到这个问题，用的是vcs+verdi

在./simv 后面加上  +fsdb+sva_success ,,dump波形时加上 $fsdbDumpSVA

muscle祥

西电IC 发表于 2022-5-25 13:25
在./simv 后面加上  +fsdb+sva_success ,,dump波形时加上 $fsdbDumpSVA

Thanks a lot.

数模混合

我刚开始接触SVA，请教一下要怎样才能在dve中看到断言的箭头波形呢？我写好了断言，并添加了$fsdbDumpSVA(), 但在verdi中直接去拉断言的信号，看不到波形，提示信号不存在