的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在測試結束時運行檢查時發生錯誤。