Enmascaramiento de fallos en lógica síncrona y asíncrona

Título original:

Fault Masking in Synchronous and in Asynchronous Logic

Contenido del libro:

El tema de este libro es la investigación de los efectos de enmascaramiento de fallos en la lógica síncrona y asíncrona. Se dice que un fallo está enmascarado si afecta a un circuito pero nunca crea un estado erróneo y, por tanto, permanece ineficaz.

En lógica síncrona se sabe que los fallos pueden enmascararse en tres niveles diferentes: (1) Enmascaramiento eléctrico: Se inyecta un fallo en el nivel eléctrico, pero no afecta al nivel lógico. El impulso de corriente inducido no es lo suficientemente grande como para cambiar el valor booleano. (2) Enmascaramiento lógico: El fallo cambia un valor booleano pero la función lógica que se realiza sobre esta señal no lo tiene en cuenta.

Por ejemplo, si nos fijamos en una puerta AND (2 entradas), un 1 lógico "falso" sólo se propaga si la otra entrada también es 1. A esto lo llamamos enmascaramiento lógico implícito.

El enmascaramiento lógico explícito está relacionado con la votación por mayoría con funciones replicadas. (3) Enmascaramiento temporal (ventana de enclavamiento): Este nivel se ocupa del comportamiento temporal, el fallo perturba una señal pero no se captura.

Por ejemplo, un fallo transitorio entre dos flancos de reloj en un circuito síncrono no tiene ningún efecto en el elemento de almacenamiento mientras su efecto haya desaparecido en el siguiente evento de reloj.