Professional Documents
Culture Documents
Ganesh C. Patil
2129 = 680,564,733,841,876,926,926,749,
214,863,536,422,912 patterns
For y= 1, f (y=1) = x
For y= 0, f (y=0) = z
Therefore,
For w= 1, f (w=1) = 1
For w= 0, f (w=0) = xy
For z= 1, f (z=1) = xy
For z= 0, f (z=0) = xy
This fault is
untestable by
Boolean Difference
Method
Good Failing
Symbol Meaning Machine Machine
D 1/0 1 0
D 0/1 0 1 Roth’s
0 0/0 0 0 Algebra
1 1/1 1 1
X X/X X X
D: 1/0
D-bar: 0/1
AND 0 1 D D_bar X
0 0 0 0 0 0
1 0 1 D D_bar X
D 0 D D 0 X
D_bar 0 D_bar 0 D_bar X
X 0 X X X X
OR 0 1 1 D D_bar X
0 0 1 1 D D_bar X
1 1 1 1 1 1 1
D D 1 1 D 1 X
D_bar D_bar 1 1 D_bar X
X X 1 X X X
X X
1 D
D
1
To satisfy j=0 we have to assign i= 1
But at input of AND gate one input g= D
Therefore if C=1, i=D and if C=0, i=0
i.e i=1 is not justified.
Saturday, September 24, 2022
30
Step-3 Line Justification
Scenario 1: Propagation along path f-h-k-l
1
D
D 1
1 1
D 1
1
Therefore, now try backtracking and assign j= 1
But if j=1, k=1 and If E= 1, L= 1 Also If E= 0, L=0
i.e. the back tracking blocks the propagation of the fault
Hence, the Propagation along path f-h-k-l is not justified.
Saturday, September 24, 2022
31
Step-3 Line Justification
Scenario 2: Simultaneous Propagation along path f-h-k-l and
1 D g-i-j-k-l
D 1
1
D D
D
1
1
Now A=1, E=1, C=1
Therefore, i=D, h=D, j=D_bar, k=1, and L=1
In this scenario D disappears at the PO
Hence, the Simultaneous Propagation along path f-h-k-l
and g-i-j-k-l is not justified.
Saturday, September 24, 2022
32
Step-3 Line Justification
Scenario 3: Propagation along path g-i-j-k-l
0
D 0 D D
D D
D
1
1
Now we set C=1 and E=1. Hence, i=D and j= D_bar
Now to propagate D_bar we required to set h=0
Therefore to set h=0 we required to set A=0.
Now k=D_bar. Hence L= D_bar which propagates the fault
with line justification
Saturday, September 24, 2022
33
Test Vector Generation
0
D 0 D
1 D
D D
D
1
1
Thus, among all the scenarios Propagation along path
g-i-j-k-l satisfies the criterion of fault propagation
The test set for the detection of fault
BSA0 is ABCE = {0111}
The above test set produces L=0 for good machine and
L=1 for the faulty machine
Saturday, September 24, 2022
34
Example-2
Target fault is b/0
f=xf(x) + x’f’(x) a
a=0 a=1
f= ac + bc
fa = f (a=1) = c+ bc
fa’ = f (a=0) = bc
fa’ = bc
f= a fa + a’ fa’ fa = c+ bc
f= a (c+bc) + a’ (bc)