VLSI Testing
VLSI Testing
Lecture 25
18-322 Fall 2003
1
Announcement
Homework 9 is due next Thursday (11/20)
Review Session:
When: Next Monday (11/17) afternoon, 4pm – 6pm
Where: B131, HH
2
Outline
Defects and Faults
Reasons for IC malfunctioning
Fault Modeling
Types of faults (Stuck-At, bridge, Stuck Open)
Automatic Test Pattern Generation
Path Delay Fault
5
Reasons for IC Malfunction -
Defects and Faults
B C 13 VDD
VDD
N1
M9
Metal
M11
M14
Poly
M12
N13
M13
C OUT Contact
M10
13 N+
A A
C N B
M25
P
N2
M27 M28 N13
GND
M26
M23 M24
GND
B C 13
6
Reasons for IC Malfunction -
Defects and Faults
V DD
M10
B M9 M13
N3
A N1 M12
M14
M11
C OUT
M25 M26
N13 N2 M28
N4
M24
M27
M23
GND
C
7
Reasons for IC Malfunction -
Defects and Faults
B C VDD
13
VDD
N1
M9 M9
M11 Metal
M14
Poly
M12 N13
M13
C OUT Contact
M10
13 N+
A
A
B
C N
M25 N2
P N13
M27 M28 GND
M26
M23 M24
GND
B C 13
8
Reasons for IC Malfunction -
Defects and Faults
C out
Defect
A B C
M10
no yes
M13 VDD
B M9 0 0 0 0 0
0 0 1 0 0
A M11 M12 M14
0 1 0 0 0
C
OUT 0 1 1 1 1
M25 M26 M28 1 0 0 0 0
1 0 1 1 0
M24
M23
M27
GND 1 1 0 1 0
GND
1 1 1 1 1
C
N1 - N13 short
9
Outline
Defects and Faults
Reasons for IC malfunctioning
Fault Modeling
Types of faults (Stuck-At, bridge, Stuck Open)
Automatic Test Pattern Generation
Path Delay Fault
In Out
n+m
Exhaustive test 2
“n”
Combinational
Logic
Registers
“m”
11
Testing Strategies
Functional Test: (go/no go)
Does the part work?
Do this fast & cheap
Diagnostic Test:
What in the chip is broken?
Parametric Test:
What is:
⌧ max clock frequency
⌧ min supply voltage
⌧ max operating temp
12
Test Implementation
Runs Test Vectors/Programs on Device Under Test
(DUT)
Goal: Find a SMALL set of test vectors that has a BIG fault
coverage
Testers
Clock rate in the range of GHz
Resolutions measured in psec
Large very fast memory
Cost 1 - 5 million dollars
13
Fault Models
a f
b h
x
c g
d
e
14
Stuck-At Fault
a f
b h S-A-0
Stuck-at-0 x
c g
d
e
a f
b h
S-A-1 x
Stuck-at-1 c g
d
e
15
Bridge & Stuck Open
a f
b h
x
c g
d Bridging
fault
e
a f
b h
x
c g
d Open
fault
e
16
Automatic Test Pattern Generation (ATPG)
Given a logic circuit:
Generate test program to cover all SA faults
The D-Algorithm
The D-Calculus
⌧Problem: Reconvergent Fanouts
17
D-Algorithm
Step 1: Choose a fault to “insert”
Select from a fault dictionary
sa0
1
Fault enabling 1 1
Out
1
1
1 0
Fault propagation
0
19
D-Algorithm
a f
b h
x
c g D = 1/0
d
e
value in value in
good ckt faulty ckt
a f
b h S-A-0
x
c g D = 0/1
d
e
20
D-Algorithm
21
D-Algorithm
22
D-Algorithm
1/0 = D
1
a f 1
b 1 h S-A-0
D x
1 1
c g
d 0
e 1
23
D-Algorithm
1/0 = D
1
a f 1
b 1 h
x
1 1
c g
d 0
1
Conflict !
Need backtracks
Reconvergent Fanout
x
24
Fault Simulation
Compare
25
Path Delay Fault
A defect can affect the speed of a path in the circuit
26
Path Delay Fault
Path c-g2-g4-g5-x
a 00
g1
b g4
g5 x
c
00 g2
d
00
11 g3
e
27
Outline
Defects and Faults
Reasons for IC malfunctioning
Fault Modeling
Types of faults (Stuck-At, bridge, Stuck Open)
Automatic Test Pattern Generation
Path Delay Fault
Out
In Combinational Combinational
Register
Register
Logic Logic
A B
29
Scan Based Methods
R L R L R R R
30
Boundary Scan (JTAG: IEEE 1149.1b)
Printed-circuit board
Logic Packaged IC
normal interconnect
Scan-in si so
Scan-out
scan path
Bonding Pad
(Sub)-Circuit
Test
Test Controller
32
Linear-Feedback Shift Register (LFSR)
R R R
S0 S1 S2
1 0 0
0 1 0
1 0 1
1 1 0
1 1 1
0 1 1
0 0 1
1 0 0