This paper introduces a new fault simulation methodology based on symbolic handling of fault effects. Boolean variables are related to faulty signals, and fault effects are propagated by computing gate output expressions by means of BDDs. The proposed technique can handle in a single simulation step such faults as resistive bridges, that exhibit a parametric behavior, thus requiring more simulations with conventional techniques.
Symbolic handling of bridging fault effects
FAVALLI, Michele;
1997
Abstract
This paper introduces a new fault simulation methodology based on symbolic handling of fault effects. Boolean variables are related to faulty signals, and fault effects are propagated by computing gate output expressions by means of BDDs. The proposed technique can handle in a single simulation step such faults as resistive bridges, that exhibit a parametric behavior, thus requiring more simulations with conventional techniques.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
