testing of vlsi design - wordpress.com...2017/01/02 · various books, papers, websites and...
TRANSCRIPT
Fault Models
Dr Usha Mehta [email protected]
Acknowledgement…..
This presentation has been summarized from
various books, papers, websites and
presentations on VLSI Design and its various
topics all over the world. I couldn’t itemwise
mention from where these large pull of hints and
work come. However, I’d like to thank all
professors and scientists who created such a
good work on this emerging field. Without those
efforts in this very emerging technology, these
notes and slides can’t be finished.
2
Dr
Ush
a M
eh
ta
09-0
1-2
017
Functional Test
• Black Box Approach
Functional ATPG – generate complete set of tests for circuit input-output combinations
◦ 129 inputs, 65 outputs:
◦ 2129 = 680,564,733,841,876,926,926,749,214,863,536,422,912 patterns
◦ Using 1 GHz ATE, would take
2.15 x 1022 years
Structural Test
• White Box Approach Structural test:
◦ No redundant adder hardware, 64 bit slices
◦ Each with 27 faults (using fault equivalence)
◦ At most 64 x 27 = 1728 faults (tests)
◦ Takes 0.000001728 s on 1 GHz ATE
3
Dr
Ush
a M
eh
ta
09-0
1-2
017
Causes of the Defects in
Circuit • Design Errors • Verification process will catch it
• Fabrication Errors • Wrong component
• Incorrect Wiring
• Fabrication Defects • Imperfect Process Variations
• Physical Failure • During life time of a system
4
Dr
Ush
a M
eh
ta
09-0
1-2
017
Classifications of the Defects
• Permanent
• Intermittent
• During some intervals
• Transient
• One time only
5
Dr
Ush
a M
eh
ta
09-0
1-2
017
Structural Testing
• Hardware components
• Defects in Hardware
• Its effect on output
• Complete list of all possible defects in given
circuits……
• The test which can prove the presence or absence
of the defect from given list
• Test set that can prove the presence or absence of
all possible defects from given list
6
Dr
Ush
a M
eh
ta
09-0
1-2
017
Defects, Errors, Faults
7
Dr
Ush
a M
eh
ta
09
-01
-2017
Defects, Errors, Faults….. • Defects: A defect in an electrical system is the unintended difference
between the implemented hardware and its intended design
• Process Defects:
• missing contact window, parasitic transistors, etc.
• Material Defect:
• bulk defects, material impurities etc
• Age Defects:
• Dielectric Breakdown, electromigration etc.
• Package Defects:
• contact degradation, seal leak etc.
• Errors
• A wrong output signal produced by a defective system is called an error.
• An error is an effect whose cause is some defect.
• Faults
• A representation of a defect at the abstracted level is called a fault.
• The fault is imperfection in function while the defect is imperfection in hardware.
8
Dr
Ush
a M
eh
ta
09-0
1-2
017
9
Dr
Ush
a M
eh
ta
09
-01
-2017
Defects modeled as Faults
• Failure mode is used in reference to the manifestation of a "defect" at the electrical level.
• Failure modes are modeled as faults at logic or behavioral level of abstraction.
• At the logic level, failure mode can be interpreted in different ways.
Physical defect
Physical model
Why Models?
Models
• are easier to work with
• are portable
• can be used for simulation so avoid h/w
requirement at early stage
• Nearly all engineering systems are studied
using models
• are used to bridge the gap between
physical reality and mathematical
abstraction 10
Dr
Ush
a M
eh
ta
09-0
1-2
017
Structural Fault Model
• Considering at gate level schematic….
• Let’s start with listing all possible faults
to be considered
• For gate level schematic, fault may be
in:
• components (i.e. gate)
• nets (i.e. connections)
• Let’s assume components are fault free
(not a good assumption?? but for a moment….let’s
assume, we will justify the assumption later on….. )
11
Dr
Ush
a M
eh
ta
09-0
1-2
017
12
Dr
Ush
a M
eh
ta
09-0
1-2
017
• So the nets are only culprits…..
• The nets may be open or shorted with some other net
• Let’s focus on nets shorted with some other one else
and
• neglect net open for a while.
• Nets may be shorted with Vdd line, ground line or some
other active net.
• If net connected with some other net
• bridge fault
• Net connected to power line
• stuck-at-1 fault,
• Net connected to ground line
• stuck-at-0 line
13
Dr
Ush
a M
eh
ta
09-0
1-2
017
• We will consider bridge fault later on……..
• FOCUS ON STUCK-AT FAULTS ONLY
• For a given fault model with k different types of
faults that can occur at each of n different
potential fault sites,
• So for n nets, there are 3n-1 possible faulty
conditions to be considered separately for
stuck-at fault model.
• Prepare the list for
Single Stuck at Fault
(SSF)
• Let’s consider, there is only one stuck at fault at a time,
• Ignore multiple suck-at faults
• Considering only single stuck-at a time…..2n possible
faults
14
Dr
Ush
a M
eh
ta
09-0
1-2
017
Stuck-at Faults,
So classic, so legacy… • Eldred (1959) – First use of structural testing
for the Honeywell Datamatic 1000 computer
• Galey, Norby, Roth (1961) – First publication of stuck-at-0 and stuck-at-1 faults
• Seshu & Freeman (1962) – Use of stuck-faults for parallel fault simulation
• Poage (1963) – Theoretical analysis of stuck-at faults
15
Dr
Ush
a M
eh
ta
09-0
1-2
017
Stuck-at Faults:
Classical Faults • Why stuck-at faults are considered as classical
faults?
• They are found capable to detect other type of faults
also.
• Relates to yield modeling
• Simple to use
16
Dr
Ush
a M
eh
ta
09-0
1-2
017
Stuck-At Faults • Single Stuck-at fault
• Only one line is faulty at a time
• The faulty line is permanently stuck at either zero or
one
• Stuck at zero (s-a-0)
• Stuck-at-one (s-a-1)
17
Dr
Ush
a M
eh
ta
09-0
1-2
017
Example of single stuck-at
fault
18
Dr
Ush
a M
eh
ta
09-0
1-2
017
• Taking an example of an
AND gate as shown below:
Inputs
AB
True
Response Faulty Response
A/0 B/0 Z/0 A/1 B/1 Z/1
00 0 0 0 0 0 0 1
01 0 0 0 0 1 0 1
10 0 0 0 0 0 1 1
11 1 0 0 0 1 1 1
Detectable Faults
• For any fault/faults to be detectable, the output must
have the different value compared to the error free
output. For digital function, if error free output is 1, the
erroneous output should be 0 and vice versa.
• Zf(t) /= Z(t) Zf(t) XOR Z(t) = 1
19
Dr
Ush
a M
eh
ta
09-0
1-2
017
Single Stuck At Fault
• Find the test vector for given fault,
20
Dr
Ush
a M
eh
ta
09-0
1-2
017
1100 0T(1F)
One more…
21
Dr
Ush
a M
eh
ta
09
-01
-2017
S-a-0
S-a-1
S-a-1
Redundant/Undetectable
Fault • For which Zf(t) = Z(t)
• As redundant fault do not change the functionality
of circuit, should it be ignored?.....
22
Dr
Ush
a M
eh
ta
09-0
1-2
017
Try this for a s-a-1….
• Undetectable fault a s-a-1
23
Dr
Ush
a M
eh
ta
09
-01
-2017
For b s-a-0 ??
• b s-a-0 is detected by t=1101
24
Dr
Ush
a M
eh
ta
09
-01
-2017
Multiple faults
{ a s-a-1, b s-a-0}….
• In presence of a s-a-1 undetectable fault, b
is no longer detected by t=1101 but it is
detected by t=0X0X
25
Dr
Ush
a M
eh
ta
09
-01
-2017
26
Dr
Ush
a M
eh
ta
09
-01
-2017
C s-a-1 is undetectable Z= AB, Zf=AB
A s-a-0 is detectable by 110
Fault {C s-a-1, a s-a-0} is undetectable.
Effect of Undetectable Fault
• If f is detectable fault and g is an undetectable
fault, then f may become undetectable in presence
of g. Such a fault f is called a second generation
redundant fault.
• Two undetectable single faults f and g may become
detectable if simultaneously present.
27
Dr
Ush
a M
eh
ta
09
-01
-2017
Why single stuck-at fault? • If we consider multiple stuck at faults, we will
have to consider total 3n-1 possible fault. Even for moderate n, the number of faults rises to a large amount.
• Considering single-stuck at fault, this number reduces to 2n.
• Further the single stuck-at fault gives a quite good fault coverage nearly 99%.
• Frequent testing strategy But frequent testing is not enough in following condition.
1. Some physical faults manifest as multiple faults in high density chips
2. Prior to first testing in newly manufactured chip, multiple faults can exist
3. If testing experiment does not detect every fault, the circuit will contain undetectable fault every time.
In most cases, a multiple fault can be detected by the tests designed for the individual single faults that can compose the multiple one.
So single fault assumption is mostly adopted.
28
Dr
Ush
a M
eh
ta
09-0
1-2
017
Fault Equivalence (by structural approach)
• Two faults of a Boolean circuit are called
equivalent iff they transform the circuit such
that the two faulty circuits have identical output
functions. Equivalent faults are also called
indistinguishable and have exactly the same set
of tests.
29
Dr
Ush
a M
eh
ta
09-0
1-2
017
Fault Equivalence at
Fan-out Branches
30
Dr
Ush
a M
eh
ta
09-0
1-2
017
• The stuck-at fault on stem is equivalent to multiple stuck-at fault on all branches. Prove this.
• A
• X s-a-0, the test set is a1, x0, y1
• Y s-a-0, the test set is a1, x1, y0
• A s-a-0, the test set is a1, x0, y0
• X, Y, A s-a-0 are not equivalent but A s-a-0 is equivalent to multiple fault {x s-a-0, y s-a-0}
X
Y
Fault Equivalence (by functional
approach)
• What is the relation between F1, F2, F3
and F4?
31
Dr
Ush
a M
eh
ta
09-0
1-2
017
Fault Collapsing • The input to output pass? or output to input pass?
• s-a-0 at d to keep or s-a-0 at e to keep or s-a-1 at g to keep? Why?
• Input to output pass. Because the Boolean gate has always single output and collapsing is not possible for fanout. So no one has to choose one i/p from multiple i/p. The selection of i/p can affect the overall no. of fault reduction.
• Collapse Ratio = # of faults in collapsed fault set/ # all faults
32
Dr
Ush
a M
eh
ta
09-0
1-2
017
Example of Fault
Collapsing
33
Dr
Ush
a M
eh
ta
09-0
1-2
017
Fault Dominance • If all test of some fault f2 detects another
fault f1, then f1 is said to dominate f2. f1
is removed from fault list.
34
Dr
Ush
a M
eh
ta
09-0
1-2
017
Let’s Develop our own EDA tool for fault
equivalence…….
35
Dr
Ush
a M
eh
ta
09-0
1-2
017
• Express circuit at gate level as a program
consisting of interconnected logic operations
• External representation in the form of
netlist…ISCAS format, uv fomat, EDIF format…
• Execute the program on netlist to determine the
circuit output for varying input.
36
Dr
Ush
a M
eh
ta
09-0
1-2
017
37
Dr
Ush
a M
eh
ta
09-0
1-2
017
Steps to develop EDA
tool…. • Let’s summarize how we will do it……
38
Dr
Ush
a M
eh
ta
09-0
1-2
017
Some other fault
models…..
39
Dr
Ush
a M
eh
ta
09
-01
-2017
40
Dr
Ush
a M
eh
ta
09-0
1-2
017
Transistor (Switch) Faults
• MOS transistor is considered an ideal switch
and two types of faults are modeled:
• Stuck-open -- a single transistor is permanently
stuck in the open state.
• Stuck-short -- a single transistor is permanently
shorted irrespective of its gate voltage.
• Detection of a stuck-open fault requires two
vectors.
• Detection of a stuck-short fault requires the
measurement of quiescent current (IDDQ).
41
Dr
Ush
a M
eh
ta
09-0
1-2
017
Stuck-Open Fault This defect creates an unintended high impedance state at output node of
the gate.
Two-vector s-op test can be constructed by ordering two s-at tests
A
B
VDD
C
pMOS
FETs
nMOS
FETs
Stuck-
open
1
0
0
0
0 1(Z)
Good circuit states
Faulty circuit states
Vector 1: test for A s-a-0
(Initialization vector)
Vector 2 (test for A s-a-1)
42
Dr
Ush
a M
eh
ta
09
-01
-2017
Modelling of Open Faults
• Stuck open fault of a pMOS can be modelled as a s-a-1
fault at the corresponding input signal
• Stuck open fault of a nMOS can be modelled as a s-a-o
fault at the corresponding input signal
• One more reason why stuck-at are called classical
faults!!!
43
Dr
Ush
a M
eh
ta
09-0
1-2
017
44
Dr
Ush
a M
eh
ta
09-0
1-2
017
Stuck-Short Example
A
B
VDD
C
pMOS
FETs
nMOS
FETs
Stuck-
short 1
0
0 (X)
Good circuit state
Faulty circuit state
Test vector for A s-a-0
IDDQ path in
faulty circuit
45
Dr
Ush
a M
eh
ta
09
-01
-2017
Bridge Fault
• After single stuck-at faults, bridge faults are the most important class of faults.
• Most commonly occurring type of fault.
• Simplified model assumes 0 resistance (short) between two lines (dotted line in the figure)
46
Dr
Ush
a M
eh
ta
09-0
1-2
017
Wired AND –Wired OR
47
Dr
Ush
a M
eh
ta
09-0
1-2
017
Wired AND/OR • Depends on types of Gates driving the shorted lines and
inputs to the Gates
48
Dr
Ush
a M
eh
ta
09
-01
-2017
Not known to fault
models…
49
Dr
Ush
a M
eh
ta
09-0
1-2
017
Dominant Bridging Faults
50
Dr
Ush
a M
eh
ta
09-0
1-2
017
Dominant bridging Faults
cont…
51
Dr
Ush
a M
eh
ta
09-0
1-2
017
• Wired-AND
• y=0 --> x is s-a-0
• Test for bridge fault: • Set y to 0 and test for x s-a-0 –or-
• Set x to 0 and test for y s-a-0
• Wired-OR
• y=1 --> x is s-a-1
• Test for bridge fault: • Set y to 1 and test for x s-a-1 –or-
• Set x to 1 and test for y s-a-1
• Dominant driver
• x always outdrives y
• y always outdrives x
52
Dr
Ush
a M
eh
ta
09-0
1-2
017
Bridge Fault cont…. • Need to consider drive
strengths of bridged nodes to determine voltage level.
• Gates driven by the bridged nodes may interpret the voltage level differently, depending on their logic threshold voltages.
• The faulty logic value depends on:
• The relative strength of pull-up and pull-down network
• The number of transistors that are activated in conflicting network
53
Dr
Ush
a M
eh
ta
09-0
1-2
017
Bridge Fault cont….
54
Dr
Ush
a M
eh
ta
09-0
1-2
017
Feedback Bridge Faults
• In a feedback bridge fault, there exists at least one path between the two bridged nodes.
• The back line b is the line closest to the PI’s.
• The front line f is the line closest to the PO’s.
• AND:
• set b=0 and test for f s-a-0 (no logical feedback)
• set f=0 and test for b s-a-0, but not through f (i.e., f is not sensitive to b).
• OR: ???
55
Dr
Ush
a M
eh
ta
09-0
1-2
017
IDDQ Testing
• It relies on measuring the supply current (Idd)
in the quiescent state (when the circuit is not
switching and inputs are held at static values).
The current consumed in the state is
commonly called Iddq for Idd (quiescent) and
hence the name.
• IDDQ testing refers to the integrated circuit
(IC) testing method based upon measurement
of steady state power-supply current.
• Iddq stands for quiescent Idd, or quiescent
power-supply current.
56
Dr
Ush
a M
eh
ta
09-0
1-2
017
IDDQ Testing cont….
• In case of a defect such as gate-oxide short or short
between two metal lines, a conduction path from power-
supply (Vdd) to ground (Gnd) is formed and
subsequently the circuit dissipates significantly high
current.
• This faulty current is a few orders of magnitude higher
than the fault-free leakage current.
• Iddq testing provides physical defect oriented testing
• SoCs contain huge number of transistors
• Summation of leakage current of all transistors becomes
too large to distinguish between faulty and fault-free
chips
• Most of the SoCs contain multiple power supplies
• Iddq testing is done on one power supply at a time
57
Dr
Ush
a M
eh
ta
09-0
1-2
017
58
Dr
Ush
a M
eh
ta
09-0
1-2
017
IDDQ Testing…..cont….
• Measure IDDQ current through Vss bus
IDDT testing
• When a CMOS circuit switches state, a momentary
path is established between the supply lines and
results in dynamic current IDDT
• IDDT exhibits spikes every time circuit switches. The
magnitude and frequency components of the
waveform depends upon switching activity.
• By observing the magnitude and frequency
spectrum of IDDT, addition diagnostic information
about possible defects unmatched with IDDQ and
other methods can be found.
59
Dr
Ush
a M
eh
ta
09-0
1-2
017
THANKS!
60
Dr
Ush
a M
eh
ta
09
-01
-2017