Regd:记录断言标记

时间:2014-10-15 21:05:22

标签: verilog system-verilog modelsim

如何在Questsim环境中显示倒三角标记。我使用通配符操作符来记录波形(.wlf)。标记用于调试基于断言的验证。

1 个答案:

答案 0 :(得分:0)

尝试使用选项-assertdebug运行Questasim。

请在questasim manual中搜索assertdebug以获取更多信息。