规格的时间检查

Question

通过时间表的幻灯片，我遇到了这一说法：

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

什么意义是 eventually 这里。具体而言，差异 eventually 在这里不使用吗？

Answer 1

eventually 有点像 if/else 用时间语言。要么你看到 @int_e @clock_e 在模拟结束之前, ，否则错误将在Specman在测试结束时运行检查时发射错误。