Français
Menu

Qu'est-ce que Vérification de recovery ?

Vérification temporelle s'assurant que le relâchement d'une réinitialisation asynchrone ou d'un signal similaire ne survient pas trop peu de temps avant un front d'horloge ; elle correspond au setup. Elle va de pair avec la vérification de removal, qui s'assure que le relâchement ne survient pas trop peu de temps après le front et correspond au hold.

Nom japonais: リカバリーチェック

« Vérification de recovery » apparaît dans 1 questions d'entraînement réparties sur 1 thèmes, dont Analyse temporelle et CDC.

Domaine: Analyse temporelle et CDC

S'entraîner : questions sur Vérification de recovery

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 ?

  1. ALa vérification de clock gating
  2. BLes vérifications de recovery et de removal
  3. CLa vérification du temps de transition maximal (max transition)
Afficher la réponse et l'explication

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.

« Vérification de recovery » dans les explications

Questions mentionnant « Vérification de recovery » (1)

  1. 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 ?

Termes associés

Bascule (flip-flop) STA (analyse temporelle statique) Chemin critique Chemin multicycle CRPR (suppression du pessimisme de reconvergence d'horloge) Domaine d'horloge Faux chemin (false path) FIFO asynchrone Incertitude d'horloge (clock uncertainty) MTBF (temps moyen entre défaillances)

Retour au glossaire