Transcript TOPIC : Fault collapsing with fault equivalence and
UNIT 2 : Fault modeling Module 2.3 Fault redundancy and Fault collapsing TOPIC : Fault collapsing due to fault equivalence and fault dominance
Fault collapsing
The number of faults that need to be simulated can be decreased by exploiting two relations between a pair of faults f i and f j : a) Fault equivalence b) Fault dominance
Collapsed Ratio
Many of the faults are removed due to fault equivalence and fault dominance.
Collapsed ratio is the ratio of remaining faults and total number of faults.
Collapsed ratio : (Total Faults – Fault removed) / Total fault.
Fault equivalence
Definition :
Two faults of a Boolean circuit are called equivalent iff they transform the circuit such that the two faulty circuits have identical output functions. Equivalent faults are also called indistinguishable and have exactly the same set of tests.
Example: An input line s-a-0 and output line s-a-0 in an AND gate.
Fault equivalence
Two faults fi and fj in a circuit are said to be equivalent if the corresponding faulty versions of the circuit are identical. In other words all tests that detect fi also detect fj.
Number of fault sites in a gate-level circuit = PI(primary inputs) + #gates + # (fanout branches) An n-input Boolean gate requires only (n+1) instead of (2n+2) single stuck-at faults to be modeled because of equivalent fault collapsing.
Fault equivalence : example
Stuck-at-0 at output of AND gate is equivalent to stuck-at-0 at the input pins.
So, while testing we can remove the 2 stuck at-0 fault at the input pins, since these two fault will be tested by equivalent fault stuck at-0 at the output pin.
Equivalent fault collapsing for Boolean gates
Fault equivalence : circuit
Fault deleted due to equivalent fault collapsing Collapsed ratio : 16/30 = 0.533
Fault dominance
Definition : If all tests of fault F1 detect another fault F2, then F2 is said to dominate F1. The two faults are also called “conditionally” equivalent with respect to the test set of F1. When two faults F1 and F2 dominate each other, then they are equivalent.
Fault dominance
Let T, be the set of all tests that detect a fault g. We say that a fault f dominates the fault g iff f and g are functionally equivalent under T. In other words, iff dominates g, then any test t that detects g.
Fault dominance : Example
A 3-input AND gate.
fi -> s-a-1 fault in one input of the gate fj -> s-a-1 in the gate output ◦ Tests for fi -> 011 ◦ Tests for fj -> 000, 001, 010, 011, 100, 101, 110 Thus, fj dominates fi .
Fault dominance : circuit example Collapsed ratio : 12/30 = 0.40