1
通過對時間表達幻燈片去,我碰到這樣的說法:的Specman顳檢查
expect @buffer_full_e => eventually @int_e @clock_e else dut_error(
「After the buffer was filled,an interrupt never occurred.」);
什麼是eventually
這裏的意義。具體而言,如果eventually
這裏沒有使用這個區別嗎?