Fault Masking in Synchronous and in Asynchronous Logic
Le sujet de ce livre est l'étude des effets de masquage des fautes dans la logique synchrone et asynchrone. On dit qu'une faute est masquée si elle affecte un circuit mais ne crée jamais d'état erroné et reste donc inefficace.
En logique synchrone, on sait que les fautes peuvent être masquées à trois niveaux différents : (1) Masquage électrique : Un défaut est injecté au niveau électrique, mais il n'affecte pas le niveau logique. L'impulsion de courant induite n'est pas suffisamment importante pour modifier la valeur booléenne. (2) Masquage logique : Le défaut modifie une valeur booléenne, mais la fonction logique exécutée sur ce signal n'en tient pas compte.
Par exemple, si l'on considère une porte ET (2 entrées), un "faux" 1 logique ne se propage que si l'autre entrée est également 1. C'est ce que nous appelons le masquage logique implicite.
Le masquage logique explicite est lié au vote à la majorité avec des fonctions répliquées. (3) Masquage temporel (fenêtre de verrouillage) : Ce niveau traite du comportement temporel, le défaut perturbe un signal mais il n'est pas capturé.
Par exemple, un défaut transitoire entre deux fronts d'horloge dans un circuit synchrone n'a pas d'effet sur l'élément de stockage tant que son effet a disparu au moment de l'événement d'horloge suivant.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)