controllo Specman temporale

Question

Passando attraverso le diapositive sulle espressioni temporali, mi sono imbattuto in questa dichiarazione:

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

Qual è il significato di eventually qui. In particolare, la differenza se eventually non è stato utilizzato qui?

Answer 1

eventually is kind of like an if/else in temporal language. Either you see @int_e @clock_e before the end of the simulation, or else an error will fire as Specman runs checks at the end of test.