solution to module 3.3. feb.. 16, 2001vlsi test: bushnell-agrawal/lecture 112 example 7.2 fault a...
TRANSCRIPT
![Page 1: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/1.jpg)
SOLUTION TO module 3.3
![Page 2: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/2.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
2Feb.. 16, 2001
Example 7.2 Fault A sa0
• Step 1 – D-Drive – Set A = 1
D1 D
![Page 3: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/3.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
3Feb.. 16, 2001
Step 2 -- Example 7.2
D1
0
D
• Step 2 – D-Drive – Set f = 0
D
![Page 4: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/4.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
4Feb.. 16, 2001
Step 3 -- Example 7.2
D1
0
D
• Step 3 – D-Drive – Set k = 1
D
1
D
![Page 5: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/5.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
5Feb.. 16, 2001
Step 4 -- Example 7.2
D1
0
D
• Step 4 – Consistency – Set g = 1
D
1
D
1
![Page 6: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/6.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
6Feb.. 16, 2001
Step 5 -- Example 7.2
D1
0
D
• Step 5 – Consistency – f = 0 Already set
D
1
D
1
![Page 7: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/7.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
7Feb.. 16, 2001
Step 6 -- Example 7.2
D1
0
D
• Step 6 – Consistency – Set c = 0, Set e = 0
D
1
D
1
0
0
![Page 8: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/8.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
8Feb.. 16, 2001
D-Chain Dies -- Example 7.2
D1
0
X
D
• Step 7 – Consistency – Set B = 0• D-Chain dies
D
1
D
1
0
00
Test cube: A, B, C, D, e, f, g, h, k, L
![Page 9: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/9.jpg)
• Self assesmenet
![Page 10: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/10.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
10Feb.. 16, 2001
Example 7.3 – Step 2 s sa1• Propagation D-cube for v
1
D
0
sa1 D1D
![Page 11: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/11.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
11Feb.. 16, 2001
Example 7.3 – Step 2 s sa1• Forward & Backward Implications
1
Dsa1
0D
D
1 1
0
11
![Page 12: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/12.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
12Feb.. 16, 2001
Example 7.3 – Step 3 s sa1• Propagation D-cube for Z – test found!
1
Dsa1
0D
D
1 1
0
11
1D
![Page 13: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/13.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
13Feb.. 16, 2001
Example 7.3 – Fault u sa1• Primitive D-cube of Failure
1
D
0
sa1
![Page 14: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/14.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
14Feb.. 16, 2001
Example 7.3 – Step 2 u sa1• Propagation D-cube for v
1
D
0
sa1D
0
![Page 15: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/15.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
15Feb.. 16, 2001
Example 7.3 – Step 2 u sa1• Forward and backward implications
1
D
0
sa1D
0
01
0
1
0
![Page 16: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/16.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
16Feb.. 16, 2001
Inconsistent
• d = 0 and m = 1 cannot justify r = 1 (equivalence)– Backtrack– Remove B = 0 assignment
![Page 17: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/17.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
17Feb.. 16, 2001
Example 7.3 – Backtrack• Need alternate propagation D-cube for v
1
sa1 D
0
![Page 18: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/18.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
18Feb.. 16, 2001
Example 7.3 – Step 3 u sa1• Propagation D-cube for v
1
sa1 D
01
D
![Page 19: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/19.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
19Feb.. 16, 2001
Example 7.3 – Step 4 u sa1• Propagation D-cube for Z
D
1
sa1D
01
D
1
1
![Page 20: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/20.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
20Feb.. 16, 2001
Example 7.3 – Step 4 u sa1• Propagation D-cube for Z and implications
D
1
sa1D
01
D
1
1
00
0
1 1
![Page 21: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/21.jpg)
• PODEM
![Page 22: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/22.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
22Feb.. 16, 2001
• Select path s – Y for fault propagation
sa1
Example 7.3 AgainExample 7.3 Again
![Page 23: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/23.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
23Feb.. 16, 2001
• Initial objective: Set r to 1 to sensitize fault
1
sa1
Example 7.3 -- Step 2 s sa1Example 7.3 -- Step 2 s sa1
![Page 24: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/24.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
24Feb.. 16, 2001
Example 7.3 -- Step 3 s sa1• Backtrace from r
1
sa1
![Page 25: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/25.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
25Feb.. 16, 2001
Example 7.3 -- Step 4 s sa1• Set A = 0 in implication stack
1
0
sa1
![Page 26: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/26.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
26Feb.. 16, 2001
Example 7.3 -- Step 5 s sa1• Forward implications: d = 0, X = 1
1
sa1
00
1
![Page 27: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/27.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
27Feb.. 16, 2001
Example 7.3 -- Step 6 s sa1• Initial objective: set r to 1
1
sa1
00
1
![Page 28: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/28.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
28Feb.. 16, 2001
Example 7.3 -- Step 7 s sa1• Backtrace from r again
1
sa1
00
1
![Page 29: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/29.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
29Feb.. 16, 2001
Example 7.3 -- Step 8 s sa1• Set B to 1. Implications in stack: A = 0, B = 1
1
sa1
00
1
1
![Page 30: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/30.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
30Feb.. 16, 2001
D
Example 7.3 -- Step 9 s sa1• Forward implications: k = 1, m = 0, r = 1, q = 1,
Y = 1, s = D, u = D, v = D, Z = 11
sa1
1
0
11
DD
1
0
10
1
![Page 31: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/31.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
31Feb.. 16, 2001
Backtrack -- Step 10 s sa1• X-PATH-CHECK shows paths s – Y and s
– u – v – Z blocked (D-frontier disappeared)1
sa1
00
1
![Page 32: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/32.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
32Feb.. 16, 2001
Step 11 -- s sa1• Set B = 0 (alternate assignment)
1
sa1
0
0
![Page 33: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/33.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
33Feb.. 16, 2001
Backtrack -- s sa1
1sa1
00
1
0 1
0
1
01
01
• Forward implications: d = 0, X = 1, m = 1, r = 0, s = 1, q = 0, Y = 1, v = 0, Z = 1. Fault not sensitized.
![Page 34: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/34.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
34Feb.. 16, 2001
Step 13 -- s sa1• Set A = 1 (alternate assignment)
1
sa1
1
![Page 35: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/35.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
35Feb.. 16, 2001
Step 14 -- s sa1• Backtrace from r again
1
sa1
1
![Page 36: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/36.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
36Feb.. 16, 2001
Step 15 -- s sa1• Set B = 0. Implications in stack: A = 1, B = 0
1
sa1
1
0
![Page 37: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/37.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
37Feb.. 16, 2001
Backtrack -- s sa1• Forward implications: d = 0, X = 1, m = 1, r = 0.
Conflict: fault not sensitized. Backtrack
sa1
1
0
0
0
1
1
1
1
10
01
![Page 38: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/38.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
38Feb.. 16, 2001
Step 17 -- s sa1• Set B = 1 (alternate assignment)
1
sa1
1
1
![Page 39: SOLUTION TO module 3.3. Feb.. 16, 2001VLSI Test: Bushnell-Agrawal/Lecture 112 Example 7.2 Fault A sa0 Step 1 – D-Drive – Set A = 1 D 1 D](https://reader035.vdocuments.us/reader035/viewer/2022062519/5697bff91a28abf838cbfa31/html5/thumbnails/39.jpg)
VLSI Test: Bushnell-Agrawal/Lecture 11
39Feb.. 16, 2001
Fault Tested -- Step 18 s sa1• Forward implications: d = 1, m = 1, r = 1, q = 0,
s = D, v = D, X = 0, Y = D1
sa1
1
1
11
0
D
0
D
D
X
D