Specman을 임시 검사

Question

, 나는이 문장 건너 온 : 여기 eventually의 의미는 무엇

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

. 특히, eventually이 여기에 사용되지 않은 경우의 차이점은 무엇입니까?

Answer 1

eventually은 일시 언어로 if/else과 비슷합니다. 시뮬레이션이 끝나기 전에 @int_e @clock_e이 표시되거나 Specman이 테스트가 끝날 때 검사를 실행하면 오류가 발생합니다.