Specman Temporal Checking

Question

Als ich durch die Folien zeitlicher Ausdrücke ging, stieß ich auf diese Aussage:

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

Was bedeutet die Bedeutung von? eventually hier. Insbesondere der Unterschied, wenn eventually Wurde hier nicht verwendet?

Answer 1

eventually ist wie ein if/else in der zeitlichen Sprache. Entweder sehen Sie @int_e @clock_e vor dem Ende der Simulation, oder ein Fehler wird abgefeuert, wenn Specman am Ende des Tests Überprüfungen durchführt.