specman - specman 时间检查

Question

浏览有关时间表达的幻灯片，我发现了以下声明：

expect @buffer_full_e => eventually @int_e @clock_e else dut_error(
    “After the buffer was filled,an interrupt never occurred.”);  

这里有什么意义eventually。具体来说，eventually这里没有使用 if 的区别？

Answer 1

eventually有点像时间语言中的if/ else。@int_e @clock_e 要么在模拟结束之前看到，要么在 Specman 在测试结束时运行检查时会触发错误。