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

【问题标题】：Is there a way to get at the end of the test how many times an assertion fired (failed)有没有办法在测试结束时获得断言触发（失败）的次数
【发布时间】：2018-08-08 11:53:30
【问题描述】：

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

【问题讨论】：

标签： system-verilog system-verilog-assertions

【解决方案1】：

好的，这就是我的结束，不确定它是否是最好的方法/解决方案，但它有效。我定义了一个包含断言错误计数器的 systemverilog 包，并在每个断言的操作块中递增该计数器。下面的示例代码：

package assertion_error;
   int assertion_fails;
endpackage : assertion_error

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

【讨论】：