Professional Documents
Culture Documents
Testing 1
Testing 1
• Introduction
• Fault models
– Stuck-line (single and multiple)
– Bridging
– Stuck-open
• Test pattern generation
– Combinational circuit test generation
– Sequential circuit test generation
s-a-0 A A
s-a-1
B B
z z
C C
D D
D: 1/0, D: 0/1
Good circuit
Bad circuit
A
s-a-0
B
z
C
E
Y
• A3 {0110} {1110}
n2 n3
• A2 {1010} {1110} A1
A0
• A1 {0100} {0110}
• A0 {0110} {0111}
• n1 {1110} {0110}
• n2 {0110} {0100}
• n3 {0101} {0110}
• Y {0110} {1110}
a
Fault-free circuit: z = a+b
b
Floating node Faulty circuit: zf = a+b + abz~
z
~z : Previous value of z
a b
State outputs
State inputs
m Registers
(not observable)
(not controllable)
• Difficult problem!
• Exhaustive testing requires 2m+n patterns (2m states and 2n
transitions from each state)
• Every fault requires a sequence of patterns
Initializing sequence: drive to known state
Test activation
Propagation sequence: propagate discrepancy to observable output
ECE 261 James Morizio 28
Sequential Circuit Test
Generation
• Iterative-array model (pseudo-combinational circuit)
D Q y+
A
B y A
z B y
C x z
C x
y
1
y+ y+
A1 A0 0
B1 y B 1 y D
z 1 z
C x C1 D x
y y
Backward
ABC = 11X traversal ABC = 011
in time
Current time frame
Test pattern sequence: {11X, 011}
ECE 261 James Morizio 30
Summary
• Think about testing from the beginning
– Simulate as you go
– Plan for test after fabrication