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运行检查时将触发错误。