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

Question

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

Answer 1

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

package assertion_error;
   int assertion_fails;
endpackage : assertion_error

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