在某些情况下，注入错误将触发断言失败。所以，我通过$ testplusargs传递开关来关闭这个断言。有没有办法在测试用例结束时获取属性的状态（真空，真实或失败），例如通过PLI或模拟器提供的其他方式（我使用的是vcs）。有人对此有所了解吗？非常感谢。
答案 0 :(得分：0)
您可以在断言中注册一些VPI回调，并检查失败/通过计数的数量。 您还可以在系统verilog中使用操作块计算属性的通过/失败次数。
例如： 断言属性（p_test）开始 pass_cnt ++; 结束其他开始 fail_cnt ++ 端