Professional Documents
Culture Documents
3.6 FaultModeling DetectCoverage
3.6 FaultModeling DetectCoverage
3.6 FaultModeling DetectCoverage
Introduction
Fault Models
Fault Detection
Fault Coverage
Conclusion
a=0 0
b=0
1/0 f = ab + cd
f test pattern (a,b,c,d) = (0,0,1,1)
c=1 detects e stuck-at-0 fault
d=1 1/0
e stuck-at-0 fault
notation 1/0:
good value=1; faulty value =0
a=0 0
b=0 Fault activation: c=d=1
1/0
Fault Effect Propagation: a=b=0
e SA0 f e is sensitized to output
c=1 e-f is sensitized path
d=1
1/0
C0 is tied to zero
X 0
SA0 untestable
A+ XOR
Input Output
A B C good E/0 F/0 L/0 E/1 F/1 L/1
Consider only
0 0 0 0 0 0 0 1 1 0
six faults on EFL
0 0 1 1 0 0 1 1 1 1
0 1 0 1 0 0 1 1 1 1
0 1 1 1 0 0 1 1 1 1
1 0 0 0 0 0 0 0 1 0
1 0 1 0 0 0 1 0 0 0
1 1 0 0 0 0 1 0 0 0
8 1 1 1 0 0 0 1 0 0VLSI 0Test 3.6 © National Taiwan University
Fault Modeling
Introduction
Fault Models
Fault Detection
Fault Coverage
Conclusions
Item Number
Total
defects=?
Total faults
Detected
Detected defects=?
faults
defects faults
Example:
unwanted wire between b and ground
b stuck-at zero SSF
f stuck-at zero SSF
b slow-to-rise transition fault a
f
Gate delay fault in G b G
…
defects faults
?
Examples:
Slow process cannot be well modeled by SSF
(maybe path delay fault)
Reliability defects cannot be well modeled by SSF
Fault masking
…
100% FC 0 DPM
Diversified Test Patterns Are Good
15 VLSI Test 3.6 © National Taiwan University
Fault Modeling
Introduction
Fault Models
Fault Detection
Fault Coverage
Conclusion