Documente Academic
Documente Profesional
Documente Cultură
Delay Test
Virendra Singh
Indian Institute of Science
Bangalore
virendra@computer.org
E0286: Testing and Verification of SoC Designs
Lecture 23
Mar 26, 2008
E0286@SERC
ncv -> cv
Side-inputs
Stable cv
Stable ncv
cv -> ncv
ncv -> cv
Stable cv
Stable ncv
cv -> ncv
ncv -> cv
E0286@SERC
Testability
Untestable
Robust
Untestable
Untestable
Robust
NR
FS
2
V1 V2
U1
V1 V2
S1
U1/R1
V1 V2
U0/F0
S0
U0/F0
V1 V2
S0
S1
U0/F0
V1 V2
U0
U1
U1/R1
U0
U0/F0
E0286@SERC
U1/R1
U1/R1
A Five-Valued Algebra
Signal States: S0, U0 (F0), S1, U1 (R1), XX.
On-path signals: F0 and R1.
Off-path signals: F0=U0 and R1=U1.
Input 1
S0
U0
S1
U1
XX
S0
U0
S0 S0
S0 U0
S0 U0
S0 U0
S0 U0
S1
U1
S0
U0
S1
U1
XX
S0 S0
U0 U0
U1 XX
U1 XX
XX XX
NOT
XX
S0
OR
Input 2
Input 2
AND
Input 1
S0 S0
U0 U0
S1 S1
U1 U1
XX XX
S0
Input
U0 S1 U1
XX
S1
U1
XX
S0
U0
E0286@SERC
U0
S1
U1
XX
U0
U0
S1
U1
XX
S1 U1 XX
S1 U1 XX
S1 S1 S1
S1 U1 U1
S1 U1 XX
Ref.:
Lin-Reddy
IEEETCAD-87
4
Path P3
F0
U0
U0
A. Place F0 at
path origin
XX
S0
U0
F0
R1
Robust Test:
S0, F0, U0
D. R1 non-robustly propagates
through OR gate since offR1 path input is not S0
XX U1
R1
Path P2
A. Place R1 at
path origin
U1
R1
R1
U1
U0
XX
S0
Static sensitization:
S0=U0, S1=U1
Non-robust test:
U1, R1, S0
6
Functional Sensitizable TG
E0286@SERC
FS Untestable Faults
Fault
A. Place R1 at
path origin
S1
F0
F0
U0
U1
NO TEST
XX
U0
Slow-Clock Test
Input
latches
Combinational
circuit
Input
test clock
Test
clock
period
Input
test clock
Rated
clock
period
Output
latches
Output
test clock
Output
test clock
V1
applied
Mar 26, 2008
V2
applied Output
latched
E0286@SERC
Enhanced-Scan Test
CK
period
PI
Combinational
PO
CK
circuit
CK TC
SFF
HL
SFF
HOLD
HOLD
V1 settles
SCANIN
CK TC
CK: system clock
TC: test control
HOLD: hold signal
SFF: scan flip-flop
HL: hold latch
Scanout
result
TC
Scanin
V1
states
V1 PI
applied
E0286@SERC
Scan mode
Normal
mode
HL
Normal
mode
SCANOUT
Scanin
V2 states
Result
latched
V2 PI
applied
10
Normal-Scan Test
V2 states generated, (A) by one-bit scan shift of V1, or
(B) by V1 applied in functional mode.
Combinational
V1 PIs
applied
PO
Scanin
Gen. V2
V1 states states
circuit
CK TC
SCANOUT
Slow clock
SFF
SFF
SCANIN
TC
(A)
Slow CK
period
TC
(B) Scan mode
E0286@SERC
Path
tested
Result
scanout
Rated
CK period
Scan mode
CK TC
CK: system clock
TC: test control
SFF: scan flip-flop
V2 PIs
applied
Normal
mode
PI
Result
latched
Normal mode
Scan mode
Scan mode
11
PI
PI
0
n-2
PO
PI
PI
n-1
PO
PI
PO
Initialization sequence
(slow clock)
D
PO
Path
activation
(rated
Clock)
n+1
PO
n+m
PO
Fault effect
propagation
sequence
(slow clock)
E0286@SERC
12
Combinationally
testable PDFs
PDFs
testable
by variableclock seq.
test
All PDFs of
seq. circuit
PDFs testable by
rated-clock seq. test
Ref.: Majumder, et al., VLSI Design - 98
Mar 26, 2008
E0286@SERC
13
E0286@SERC
14
Thank You
Mar 26, 2008
E0286@SERC
15
Thank You
Mar 26, 2008
E0286@SERC
16