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的差异吗？

Answer 1

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