如何在 RTL 中获取属性的状态



在某些情况下,注入错误将触发断言失败。 所以,我通过开关关闭这个断言$testplusargs。有没有办法在测试用例结束时获取属性的状态(空真、真真或失败(,例如通过 PLI 或模拟器提供的其他方式(我正在使用 vcs(。有人对此有所想法吗?多谢。

您可以为断言注册一些 VPI 回调,并检查失败/传递计数的数量。您还可以在系统验证日志中对带有操作块的属性的通过/失败次数进行计数。

例如: 断言属性 (p_test( 开始 pass_cnt++; 结束 否则开始 fail_cnt++ 结束