specman vérification temporelle

Question

En passant par les diapositives sur les expressions temporelles, je suis tombé sur cette déclaration:

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

Quelle est l'importance de eventually ici. Plus précisément, la différence si eventually n'a pas été utilisée?

Answer 1

eventually est un peu comme un if / else en langage temporel. Soit vous voyez @int_e @clock_e avant la fin de la simulation , ou bien une erreur se déclenche comme Specman exécute des contrôles à la fin du test.