simulation - 如何获取 RTL 中的属性状态

Question

在某些情况下，注入错误会触发断言失败。所以，我通过开关通过 $testplusargs 关闭这个断言。有没有办法在测试用例结束时获取属性状态（空真，真真或失败），例如通过 PLI 或模拟器提供的其他方式（我正在使用 vcs）。有人对此有什么想法吗？非常感谢。

Answer 1

您可以将一些 VPI 回调注册到断言并检查失败/通过计数​​的数量。您还可以在系统 verilog 中使用操作块计算属性的通过/失败次数。

例如：assert property(p_test) begin pass_cnt++; 结束否则开始失败_cnt++结束