有没有办法在测试结束时获得断言触发(失败)的次数

Is there a way to get at the end of the test how many times an assertion fired (failed)

我没有使用 uvm 或 ovm,因此无法使用他们的精美报告系统。 我想知道是否有一种简单的方法可以知道在测试期间某个特定断言被触发了多少次,或者 $error 被调用了多少次。

好的,这就是我的结局,不确定它是否是最好的 way/solution,但它确实有效。 我定义了一个包含断言错误计数器的 systemverilog 包,并在每个断言的操作块中递增该计数器。 下面的示例代码:

package assertion_error;
   int assertion_fails;
endpackage : assertion_error

assert property (a1) 
else begin
        assertion_error::assertion_fails += 1; 
end