Beruflich Dokumente
Kultur Dokumente
Agenda
2006 Synopsys, Inc. All Rights Reserved Synopsys 30-I-011-SSG-009
Understanding Scan Testing
1
DFTC User Interfaces
2
DFT for Clocks and Resets
4
Creating Test Protocols
3
DAY
DAY
1
2 1-
Unit O!ecti"es
After co#$leting t%is &nit' (o& s%o&ld e ale to)
AT&
Fail
Pass
1%at is 2an&fact&ring Test3
"ass'Fail Testing
4 1-
Physical Defect:
A on-chip fla, introdced dring !"#ric"tion or p"c$"ging
o! "n individ"l ASI% th"t &"$es the device #alf&nction.
Co##on
P%(sical
Defects
hort
%ircuit
Transistor
Al(ays )*
)pen
%ircuit
1%at Is a P%(sical Defect3
)+ide
"inholes
5 1-
) u t p u t
h o r t e d
t o L o g i c 1
" u l l , D o ( n
T r a n s i s t o r
A l ( a y s ) *
I N
O U T
G R O U N D
P O W E R
$ n p u t
) p e n
P%(sical Defects in C2OS
T%is $%(sical "ie, of a C2OS in"erter %as se"eral defects6
7 1-
St&ck-At Fa< 2odel
Fault Model:
A logical #odel re$resenting t%e effects of a $%(sical defect8
SA1 Fault:
D&e to a defect' in$&t $in A
of U0 acts as if st&ck %ig%'
inde$endent of in$&t signal8
SA0 Fault:
D&e to defect' o&t$&t $in Y
of U1 acts as if st&ck lo,'
inde$endent of t%e in$&ts8
9 1-
Rules of the Game:
'ester "ccess to the device-nder-test ()*'+
is onl( "llo,ed throgh its $ri#ar( I-. ports.
R&les for Detecting a SAF
Internal Proing
of IC Too Costl(6
Internal Proing
of IC Too Costl(6
: 1-
Unit 1 Road#a$
What is Design for
Manufactuing
Test?
D Algorithm as
applied to purely
combinational
logic
Lab 1
D Algorithm as
applied to
sequential logic
(Full can!
1; 1-
Else SA0 fault is present,
and U1/Y remains at -.
Else SA0 fault is present,
and U1/Y remains at -.
T%is if < else e%a"ior can e e+$loited to detect t%e fa<6
Co#inational =ogic) SAF Testing
>et,ork N 1
Pri#ar(
In$&ts
Pri#ar(
O&t$&t
If this SA0 fault is not present,
then node can be driven to 1.
If this SA0 fault is not present,
then node can be driven to 1.
11 1-
D A l g o r i t h m .
1 / T a r g e t a s p e c i f c s t u c ! a t f a u l t .
0 / " r i v e f a u l t s i t e t o o p p o s i t e v a l u e .
( c o n t i n u e d )
Acti"ate t%e SA; Fa< .1<4/
>et,ork N 1
In$&t
Sti#&l&s
1' -
Fault,Free
Faulty 1alue
Legend
12 1-
D A l g o r i t h m .
1 / T a r g e t a s p e c i f c s t u c ! a t f a u l t .
0 / " r i v e f a u l t s i t e t o o p p o s i t e v a l u e .
2 / " r o p a g a t e e r r o r t o p r i m a r # o u t p u t .
( c o n t i n u e d )
Pro$agate Fa< *ffect .2<4/
The 1'- is in3erted,
but the discrepanc# is
still eas# to measure.
The 1'- is in3erted,
but the discrepanc# is
still eas# to measure.
13 1-
Anato#( of a Test Pattern .3<4/
Test Pattern:
A se/ence o! one or &ore vectors th"t "pplies "
sti#&l&s "nd chec$s !or "n e0pected res$onse to
detect " t"rget !"lt.
Test Pattern
(U1/Y SA;+
&+pected
4esponse
$nput
timulus
V e c t o r { A L L = 1 0 0 0 1 ; }
14 1-
D A l g o r i t h m .
1 / T a r g e t a s p e c i f c s t u c ! a t f a u l t .
0 / " r i v e f a u l t s i t e t o o p p o s i t e v a l u e .
2 / " r o p a g a t e e r r o r t o p r i m a r # o u t p u t .
5 / 4 e c o r d p a t t e r n $ d r o p d e t e c t e d f a u l t .
Record t%e Test Pattern .4<4/
Classic
?D
Algorit%#
Test
"rogram
for N 1
S T I L 1 . 0 ;
P t t e r ! " N 1 # $ % r & t " {
V e c t o r { }
V e c t o r { }
V e c t o r { }
V e c t o r { }
V e c t o r { A L L = 1 0 0 0 1 ; }
V e c t o r { }
V e c t o r { }
V e c t o r { }
V e c t o r { }
}
This pattern detects
the fault %&'( SA0.
This pattern detects
the fault %&'( SA0.
14 1-
Assess#ent of D Algorit%#
Ad"antages)
Res<s Fro# Pre"io&s Test Pattern
1
'est here !or
" SA. !"lt
1' -
-
-
-
1
1' -
S*
C=K
SI
SO
PI1
PI2
PI3
PI4
PO1
PO2
34 1-
Scan Testing Protocol) *+a#$le 2
Scan S%ift Scan S%ift
Ca$t&re
S*
C=K
PO1
SI ; >e+t Test Pattern
PI1
;
1
1' -
1' -
S*
C=K
SI
SO
PI1
PI2
PI3
PI4
PO1
PO2
-
1
-' 1
Test a node in
t%is logic clo&d
for a SA1 fa<
34 1-
/ / /
% a p t u r e
c a n h i f t
% a p t u r e
/ / /
Pattern n
Pattern (n 1)
O"erla$$ing C(cles
Test Patterns O"erla$
Scanning o&t of $re"io&s $attern o"erla$s scanning in of ne+t
@for all &t first and last $atterns in t%e test $rogra#8
35 1-
Scan Strategies S&##ariLed
'est Str"tegy
'est Str"tegy
>o ScanGG
5ll Se/enti"l A'3G
>o ScanGG
5ll Se/enti"l A'3G
F&ll Scan
%o&#in"tion"l A'3G
F&ll Scan
%o&#in"tion"l A'3G
Al#ost-F&ll Scan
5"st-Se/enti"l A'3G
Al#ost-F&ll Scan
5"st-Se/enti"l A'3G
Aig%est Co"erage
Aig% Co"erage
2oderate Co"erage
S$ecial A$$lications
(e.g. r"d-h"rd logic+
37 1-
Unit 1 Road#a$
What is Design for
Manufactuing
Test?
D Algorithm as
applied to purely
combinational
logic
Lab 1
D Algorithm as
applied to
sequential logic
(Full can!
39 1-
Unit S&##ar(
F&ll Scan Ad"antages)
*asiest to i#$le#ent
F&ll Scan =i#itations)