Pattern Generation Methods An Intro To DFT Course
Pattern Generation Methods An Intro To DFT Course
Where We are?
⊕ = 1
⇒ (A. + . )⊕ =1
⇒ (A. + . ). + (A. + . ). =1
By applying De-Morgan’s Theorem & simplifying LHS we can write the following:
⇒ ( ⊕ ) = 1 ................... (3)
= ⊕ .............. (4)
So for a SA1 fault the relation from equation 3 can be written as:
. = 1 ........ (5)
Similarly, we can write same relationship for a SA0 fault as:
A. = 1 ........ (6)
Where Boolean difference can be found from equation 4
• Now, please note that the input combination for which the equation
5 satisfies are the input vectors for a SA1 fault & similarly equation 6
for a SA0 fault
In the given circuit find out patterns for a SA1 using boolean difference method
=( + ) + .( + ) , we have to calculate
A F
Here
Here, = ⊕ ,
Equation 7 is the relation for
=( + ) + 1. ( + )=0 SA1 fault, and the set of
=( + ) + 0. ( + ) = + pattern satisfying it is {0XX},
To verifiy if the obtained pattern from Boolean Expression let us cosider the TT
SA1 1
A B C F FSA1 A F
0 0 0 1 0
B
0 0 1 1 0 C
0 1 0 1 0
0 1 1 1 0 • It is clear from the TT that the
1 0 0 0 0 pattern is {0XX}, and is same
1 0 1 0 0 as obtained in Boolean
1 1 0 0 0
Difference Method
1 1 1 0 0