Specman：获取测试中的断言错误数

Question

是否可以从specman代码中检索测试中的verilog断言失败次数？是否可以在测试结束时更改打印以包含此数据？例如：

    Checking is complete - 0 DUT errors, 0 DUT warnings, 1 Assertion failures.

谢谢，Alex

Answer 1

理论上，您可以通过UCIS使用外部C-DPI进入Specman世界，获得verilog断言计数。在实践中，很容易将模拟日志文件合并到Specman日志文件中并对其进行后处理。