Pour une bascule à reset asynchrone, quelle vérification de la STA contrôle que la levée du reset n'est pas trop proche d'un front d'horloge ?

Réponse : B. Les vérifications de recovery et de removal

La levée d'un reset asynchrone doit, comme une entrée de données, être séparée du front d'horloge d'un certain temps. La vérification de recovery contrôle que la levée n'intervient pas trop juste avant le front (équivalent du setup), et la vérification de removal qu'elle n'intervient pas trop juste après (équivalent du hold). En cas de violation, on ne sait pas si le reset est levé à ce cycle, et le cycle de démarrage diffère d'une bascule à l'autre. La vérification du temps de transition contrôle la dégradation de la forme d'onde des signaux et a un autre objectif.