Chapter 2 RAM Functional Faults

advertisement
Chapter
p 2
RAM Functional Faults
Jin-Fu Li
Advanced Reliable Systems (ARES) Lab
Lab.
Dept. of Electrical Engineering
National Central University
Jhongli, Taiwan
Outline
•
•
•
•
•
Functional RAM Model
Reducing the Functional Model
Definition of Reduced Functional Faults
Fault Combinations
Fault
l Mapping
i
National Central University
Jin-Fu Li
2
Memory Testing
Fault modeling
Wafer
f b i ti
fabrication
Probe test
Test generation
Repair
Post-repair
Probe test
Die separation,
separation
packaging
Pre-BI Test
Fault simulation
Burn in
Burn-in
Final Test
DFT & DFM
Shipment
Test Preparation Phase
Test-Preparation
National Central University
Test Execution Phase
Test-Execution
Jin-Fu Li
3
Memory Test Design
•
•
A memory test consists of a series of
measurements that applied
pp
by
yp
programmable
g
automatic test equipment (ATE) or built-in test
circuitry to unseparated dice or packaged ICs
Tests can be divided into the following four
categories
− DC parametric tests
∗ Measure static analog
g characteristics of the
device’s input/output interface
∗ E.g., measure the leakage current, static and
dynamic power supply current
current, output voltage
level, and so on
National Central University
Jin-Fu Li
4
Memory Test Design
− AC parametric tests
∗ Measure dynamic parameters of the device’s
i
input/output
t/ t t interface
i t f
∗ E.g., measure setup time, hold time, rise time, fall,
time, etc.
− Functional tests
∗ Also called Boolean tests, verify
y whether or not
the memory under test performs the correct logic
functions
− Dynamic tests
∗ Detect timing faults affecting internal deviceunder- test circuitry
y
∗ E.g., detect slow sense amplifier operation, slow
address decoder operation, etc.
National Central University
Jin-Fu Li
5
Functional RAM Model
address
address
latch
column decoder
rrow deco
oder
memory
cell array
write
it d
driver
i
read/write
ead/ te &
enable
sense amplifier
lifi
d t register
data
i t
data
out
National Central University
Jin-Fu Li
data
in
6
Reduced Functional Model
D
Data
Rea
ad/write
llogic
Mem
mory cell
array
a
Ad
ddress
De
ecoder
Ad
ddress
• The address latch, the row, and the columndecoder are combined to the address decoder
− They
y all concern addressing
g the right
g cell or word
• The write driver, the sense amplifier, and the
data register are combined to the read/write
logic
− They all concern the transport of data from and
to the memory cell array
National Central University
Jin-Fu Li
7
Reduced Functional Faults
• Stuck-at fault (SAF)
− Definition:
∗ The logic value of a stuck-at (SA) cell or line is
always 0 or 1.
∗ It is always
y in state 0 or in state 1 and cannot be
changed to the opposite state
− Detection requirement:
∗ From each cell or line
line, a 0 or 1 must be read
• Transition fault (TF)
− Definition:
fi i i
∗ A cell that fails to undergo a 0 to 1 transition when
it is written is said to contain an up transition fault
∗ A down transition fault indicates that a cell fails to
undergo a 1 to 0 transition
National Central University
Jin-Fu Li
8
Reduced Functional Faults
− A TF can be thought of as a set/reset (S/R)-type
flip-flop with a SAF on the set or reset input
SA0
S
Q
R
Q
− Detection requirement:
∗ Each cell should undergo up and down transitions
and be read after each transition before
undergoing further transitions
National Central University
Jin-Fu Li
9
State Diagram for SAFs & TFs
w1
w0
S0
w0
S1
w1
State diagram of a good cell
w1
w0
0
S0
w1
1 w0
0
S1
w1
1
w0
0
S0
w0
S1
w1
SA0 fault
National Central University
SA1 fault
TFu
Jin-Fu Li
10
Reduced Functional Faults
• Coupling
C
li ffaults
l (CF
(CFs))
− 2-coupling faults
− Different types of CFs
∗ Inversion CF (CFin)
∗ Idempotent
Id
t t CF (CFid)
∗ State CF (CFst)
∗ Dynamic CF (CFd)
• CFin
− A 0 to
t 1 (or
( 1 to
t 0) transition
t
iti in
i one cell
ll inverts
i
t
the content of a second cell
− An CFin can be thought of as a D
D-type
type flip
flip-flop
flop
with an extra clock input Cd and the Q’ output
ttied
ed to the
t e D input,
put, as dep
depicted
cted in tthe
e following
o o
g
figure.
National Central University
Jin-Fu Li
11
Reduced Functional Faults
D
Cn
Cd
Q
Q
• CFid
− A 0 to 1 (or 1 to 0) transition in one cell forces the
content of a second cell to a certain value, 0 or 1.
− An idempotent
p
coupling
p g fault can be thought
g of
as an S/R-type flip-flop with an OR-gate in the
Set or Reset line, as depicted in the following
fig re Sn is the normal set inp
figure.
inputt whereas
hereas Sd is
the undesired set input due to coupling with one
or more other flip flops.
National Central University
Jin-Fu Li
12
Reduced Functional Faults
Sn
Sd
S
Q
Rn
R
Q
• CFst
− A 0 or 1 state in one cell forces the content of a
second cell to a certain value, 0 or 1.
− It can be thought
g of as a D-type
yp flip-flop
p
p with an
OR/AND-gate in the data line (D), as depicted in
the following figure. Dn is the normal set input
whereas
hereas Dd is the undesired
ndesired set inp
inputt d
due
e to
coupling with one or more other flip flops.
National Central University
Jin-Fu Li
13
Reduced Functional Faults
Dn
Dd
D
clk
Q
Q
• Dynamic Coupling Fault (CFd)
− Occur between cells in different words
words. A read or
write operation on one cell forces the content of
the second cell either 0 or 1.
− Denoted as <rx|wy; z> where | denotes the or of
the read and write operations
− Four possible CFd faults
∗ <r0|w0;0>, <r0|w0;1>,<r1|w1;0>, and <r1|w1;1>
National Central University
Jin-Fu Li
14
State Diagrams for CFin & CFid
w1/j
w0/i,
w0/j
w0/i
1/i
w1/i,
w0/j
S00
S01
w0/j
w0/i
w1/i
w1/jj
S10
S11
w0/j
w0/i,
w1/j
w1/i
w1/i,
w1/i
w1/j
State diagram of two good cells
w0/i,
w0/jj
w0/i
S00
w0/j
w1/j
1/j
w1/i
S01
w0/i,
w1/jj
w0/i,
w0/jj
S00
S10
w0/i
w0/j
w0/i
w1/i
S11
w1/i,
w1/j
w1/i,
w0/j
State diagram of an CFin<u;i>
National Central University
S01
w0/i,
w1/j
w1/j
w0/i
w1/i
w1/j/j
w1/i,
w0/j
w0/j
S10
w1/j
w0/j
S11
w1/i
w1/i,
1/i
w1/j
State diagram of an CFid<u;1>
Jin-Fu Li
15
State Diagrams for CFst & TF
w1/j
w0/i,
w0/j
w0/i
1/i
w1/i,
w0/j
S00
w0/j
w0/i
w1/i
w1/jj
S10
S01
w0/j
S11
w0/i,
w1/j
w1/i
w1/i,
w1/i
w1/j
State diagram of two good cells
w0/i,
w0/j
w0/j
S00
w1/j
S01
w0/i,
w1/j
w0/i,
w0/j
S00
w1/j
w0/i
w1/i,
w0/j
w0/i
w1/i
S10
w1/j
1/j
w0/j
S11
w1/i w1/i
w1/i
w0/i
w1/i,
w1/j
State diagram of a CFst<1;1>
National Central University
w0/j
w0/i,
w1/j
S01
w1/i,
w0/j
w0/i
S10
w1/j
1/j
w0/j
S11
w1/i,
w1/j
State diagram of TFu & TFd
Jin-Fu Li
16
Summary of CFs
• Note that all definitions talk abo
aboutt single
single-way
a
faults, that is, the presence of a CF from cell i to
cell j does not imply the presence of a CF from
cell j to cell i.
• Suppose that
h a transition or state in cell
ll j can
induce a coupling fault in cell i. Cell i is then said
t be
to
b coupled
l d cellll ((or victim
i ti );
) cell
ll j iis called
ll d th
the
coupling cell (or aggressor).
• A test that has to detect and locate all coupling
faults should satisfy
− For all coupled cells, each cell should be read
after a series of possible coupling faults may
h
have
occurred
d
National Central University
Jin-Fu Li
17
NPSFs
• Neighborhood Pattern Sensitive Fault (NPSF)
− A subset of the Pattern Sensitive Fault (PSF)
• PSF is defined as follows:
− The contents of a cell is affected by the contents
of a group of cells
• Th
The PSF iis th
the mostt generall k-coupling
k
li ffault
lt,
where k=n (all of the memory)
• In the PSF, the neighborhood could be
anywhere
y
in the memory
y array,
y whereas in a
NPSF, the neighborhood must be in a single
position surrounding the base cell
National Central University
Jin-Fu Li
18
NPSFs
• Neighborhood
N i hb h d P
Pattern S
Sensitive
ii F
Fault
l (NPSF)
− Type-1 neighborhood
Base cell
Deleted
neighborhood
1
0
2
3
4
− Type-2
yp
neighborhood
g
0
3
6
National Central University
Jin-Fu Li
1
4
7
2
5
8
19
Types of NPSFs
• Three types of NPSFs
− Active NPSF (ANPSF)
− Passive NPSF (PNPSF)
− Static NPSF (SNPSF)
• ANPSF
− The
Th base
b
cell
ll changes
h
d
due to a change
h
in
i the
h
pattern of the deleted neighborhood
− An
A ANPSF ttestt has
h this
thi necessary condition
diti
∗ Each base cell must be read in state 0 and state 1,
for all possible deleted neighborhood pattern
changes
National Central University
Jin-Fu Li
20
Types of NPSFs
• PNPSF
− A specific neighborhood pattern prevents the
base cell from changing
− The necessary condition to detect and locate a
PNPSF
∗ Each base cell must be written and read in state 0
and in state 1, for all deleted neighborhood
pattern permutations
• SNPSF
− The base cell is forced into a particular state
when the deleted neighborhood contains a
particular p
p
pattern
− The necessary condition of test is
∗ Each base cell must be read in state 0 and in state
1 for all deleted neighborhood pattern
1,
permutations
National Central University
Jin-Fu Li
21
Relation Between Faults & Defects
Vdd
R
R
d1
d5
d7
d4
•
Defect
D
f t d1 (inverse
(i
node
d shorted
h t d to
t
Vdd) causes a SA0 fault
•
Defect d2 (true node shorted to Vss)
causes a SA0 fault
•
Defect d3 (open true node gate)
cause a SA1 fault
•
Defect d4 (an open word line)
causes all cells after the WL fault to
be inaccessible (AF)
•
Defect
D
f t d5 (a
( short
h t between
b t
the
th true
t
node and BL) will pull BL down if the
cell contains a 0, but will not affect
BL if the cell contains 1. This is the
state coupling fault <0;0>
•
Defect d6 (short between inverse
node and BL’) is similar, as is the
state coupling
li ffault
l <1;1>
11
•
Defect d7 (open BL’) prevents cells
after the open defect from passing
a logic
l i 1 value
l on BL’
WL
d6
d3 d2
BL
National Central University
Vss
BL
Jin-Fu Li
22
Relation Between Faults & Defects
•
Vdd
R
•
R
d3
d1
d2
BL
National Central University
WL
•
Defect d1 (a word line connected to
Vss) causes all cells in the word line
to be stuck open.
A defect in the poly silicon layer
covering a diffusion region may
result in the creation of an extra
pass transistor.
i
This
hi d
defect
f
(d
d2)
causes a transition fault.
Defect d3 ((a broken pull
p up
p resistor))
introduces a data retention fault. If
the cell is not accessed, the cell
node with the broken pull up
Vss
resistor
i t can b
be fl
floating
ti hi
high
h or
active low. If the node is floating
BL
high, the leakage current from the
cell node to the substrate will
decline the voltage at the node. If
the node voltage passes the
g Vth the data in the
threshold voltage
cell will invert. If the node is active
low, the cell will function correctly.
Jin-Fu Li
23
Relation Between Faults & Defects
•
WL
d2
•
•
WL
d1
d3
d4
WL
d5
BL
BL
National Central University
d6
•
•
BL
•
Defect
D
f t d1 (a
( short
h t between
b t
two
t
WLs)
WL )
results in an AND bridging fault
between pairs of cells located in the
same column for the two shorted
WLs
Defect d2 (a capacitor-WL short)
causes a SA1 fault
Defect d3 (a short between two
capacitors) causes a state coupling
f lt
fault
Defect d4 (a shorted capacitor) is a
SA0 fault
Defect d5 (a short between
capacitor and BL) is an AND
g g fault with all cells in the
bridging
same column
Defect d6 (a short between two
neighboring BLs) causes an AND
bridging fault between pairs of cells
Jin-Fu on
Li the same word line and on the 24
shorted bit lines
Design Dependent Conditions
•
pre
charge
row
select
•
col
select
•
WE
RE
data
latch
OE
I/O pin
National Central University
Detection of all faults is only assured
if the R/W logic is transparent for all
y
faults in the cell array.
Suppose a cell is SA0. When the cell is
read, the sense amplifier in the R/W
logic
og c will interpret
te p et this
t s as a logic
og c 0.
The fault is thus detected as SA0 at
the output pin and the R/W logic is
transparent for SA0 faults.
Suppose a cell is stuck open, i.e., the
cell is not accessible. When the cell is
read, the sense amplifier
p
in the R/W
logic will detect that both bit lines are
high (due to the preceded bit line
precharge). It is not clear what value
the sense amplifier will pass to the
output pin. The transparency of the
R/W logic for stuck-open faults
depends on the design of the sense
amplifier.
Jin-Fu Li
25
•
Fault Combinations
The test engineer
Th
i
has
h assumed
d that
h a certain
i
complicated functional fault (such as CF) is likely to
occur
− It is not only assumed that any number of faults of that
particular type can occur but also that any number of
f lt off a more simple
faults
i
l ffunctional
ti
l ffault
lt ttype ((such
h as SAF
SAFs))
can occur
•
When multiple faults occur
occur, these faults can be linked or
•
Linked faults
unlinked
− A fault is linked when that fault influences the behavior of
other faults
•
∗ May cause the fault masking effect
Unlinked faults
− A fault is unlinked when that fault does not influence the
behavior of other faults Jin-Fu Li
National Central University
26
•
Fault Combinations
For example,
F
l suppose there
h
are ffour CF
CFs iin a memory as
in the following figure
<u;1> <d;0>
<d;1>
<u;0>
U li k d ffaults
Unlinked
lt
i
j
k
l
m
n
<u;1> <d;0>
<d;1>
<u;0>
i
National Central University
m
k
Jin-Fu Li
Linked faults
j=l=n
27
Fault Combinations
fault combinations
single fault
multiple fault
unlinked
linked
same fault
class
National Central University
Jin-Fu Li
different fault
class
28
Linked Faults of the Same Class
• SAF
− A SAF involves only one cell, and only one SAF
• TF
can occur in
i any one cell.
ll B
Because only
l one cell
ll iis
involved, a SAF is inherently unlinked.
− A TF involves only one cell, and at most two
different transition
diff
i i ffaults
l can occur iin any one
cell (TFu and TFd). Because only one cell, a TF
cannot be linked to another TF.
TF
• CF
− With a CF (of the 2-coupling type) two cells per
fault are involved. The case of multiple faults will
be analyzed by considering two faults
National Central University
Jin-Fu Li
29
Linked Faults of the Same Class
• These two faults can have the following
relationships:
− All four cells are different:
− The coupling cell of one of the faults is the
coupled cell of the other fault, whereas the other
two cells
ll are diff
different
National Central University
Jin-Fu Li
30
Linked Faults of the Same Class
− The coupling cell of the first fault is the coupled
cell of the other fault, and, vice versa, the
coupling
li
cell
ll off th
the second
d ffault
lt iis th
the coupled
l d
cell of the first fault
− The coupled cells are the same cell, whereas the
coupling cells are different
National Central University
Jin-Fu Li
31
Linked Faults of the Same Class
− The coupling cells are the same cell, whereas the coupled
cells are different
− The coupled cells are the same cell, and the coupling cells
are the same cell
National Central University
Jin-Fu Li
32
Fault Mapping
• A reduced functional model has been defined
consisting
g of three blocks:
− The address decoder, the memory cell array, and the
read/write logic
• When one wants to test a memory for SAFs,
three tests would be necessary
y
− One test that detects SAFs in the address decoder
− One test that detects SAFs in the memory
y cell array
y
− One test that detects SAFs in the read/write logic
• Most faults occurring in the read/write logic and
the address decoder can be mapped to faults in
the memory cell array
National Central University
Jin-Fu Li
33
Fault Mapping
• Mapping read/write logic faults into memory
array faults
− A test that detects SAFs in the memory array will
also detect SAFs in the read/write logic
∗ A SAF in
i the
th read/write
d/ it logic
l i will
ill appear as a llarge
group of cells stuck-at faults
− The same arguments are valid for TFs and CFs
• For NPSFs, this cannot be proven generally
− A test that detects NPSFs in the memory cell
array will also detect NPSFs in the read/write
logic under the condition
∗ Each neighborhood in the data register is a subset
of a neighborhood
g
in the cells of the memory
y cell
array
National Central University
Jin-Fu Li
34
•
Fault Mapping
For example
− A test for defecting Type 1 NPSFs can also detect the
neighborhood faults in data register
− A test for detecting column neighborhood faults can not
detect the neighborhood faults in the data register
Type 1 neighborhood
Column neighborhood
w2
x2
b2
z2
y2
x1
b1
z1
w4
w5
w6
x4
x5
x6
b4
b5
b6
y4
y5
y6
z4
z5
z6
u3
b3
v3
Data register
National Central University
Jin-Fu Li
35
•
•
•
Address Decoder Faults
An address decoder fault (AF) represents an
address decoding error
Assumptions
− The decoder logic
g does not become sequential
− The fault is the same during both read and write
operations
AFs can be classified into four cases
− Fault 1: no cell is accessed for a certain address
− Fault 2: no address can access a certain cell
− Fault 3: with a particular address, multiple cells
are simultaneously accessed
− Fault 4: a particular cell can be accessed with
multiple addresses
National Central University
Jin-Fu Li
36
Address Decoder Faults
Cx Ax
Ax
Cx Ax
Fault 1
Fault 2
Cx
Cy Ay
Fault 3
Fault 4
Address decoder faults
Ax
Ax
Cx Ax
Cx Ax
Cx
Cx Ay
Cy Ay
Cy Ay
Cy
Fault A (1+2)
Fault B(1+3)
Fault C(2+4)
Fault D (3+4)
Combinations of AFs that must be tested
National Central University
Jin-Fu Li
37
Address Decoder Faults
•
•
•
Fault A & fault B are inherently unlinked
− It is impossible to mask the fault occurring when
one reads Ax
Fault C & fault D may be linked
− It is possible that writing in Ax masks the fault
that occurred when Cx was erroneously
y written
through
h
h Ay
Therefore,, fault C & fault D are extended to the
general case, with more than two addresses
− See the figure shown in the next page
National Central University
Jin-Fu Li
38
Address Decoder Faults
Av
Cv Av
Cv
Aw
Cw Aw
Cw
Ax
Cx Av
Cv
Ax
Cx Ax
Cx
Ay
Cy Aw
Cw
Ay
Cy Ay
Cy
Az
Cz Ax
Cx
Az
Cz Az
Cz
Fault
au t C
Fault
au t D1
Fault
au t D2
Fault
au t D3
Note that any number of cells and addresses with the same fault can be
inserted between v and w and between y and z.
z
National Central University
Jin-Fu Li
39
•
Address Decoder Faults
If multiple cells are accessed simultaneously with
a single address, as in fault D, a read operation
can yield one of the following two results
− All addressed cells have the same contents
− Not all addressed cells have the same contents Two
•
cases can be distinguished
∗ The memory returns a value that is a deterministic
function of the contents of all addresses cells
∗ The memory returns a random or pseudorandom
result
In general, it is safest for AF tests to expect the
memory to return a random value, except for the
case in
i which
hi h all
ll cells
ll contain
t i th
the same value
l
− The tests should be designed such that they are not
influenced by random results
National Central University
Jin-Fu Li
40
Specific Address Decoder Fault
•
•
•
•
The address decoder can be implemented with
different technologies
g
− NMOS, CMOS, etc.
Open defects in NMOS logic can be mapped to
SAFs
Only a subset of open defects in CMOS logic
can be mapped to SAFs
A subset of open defects in CMOS logic causes
sequential
q
behavior in logic
g circuit
− These defects in address decoders can not be
detected by
y conventional tests
National Central University
Jin-Fu Li
41
•
Specific Address Decoder Fault
O
Open
defects
d f
in
i NMOS llogic
i
A
B
•
1
Out
Stuck-open
Open defects in CMOS logic
0 1
0 0
Stuck-open
Stuck
open
A
B
C
National Central University
Jin-Fu Li
0 1/0
42
Specific Address Decoder Fault
•
A graphical representation of the open defects causing
sequential fault behaviors
A2 A1 A0
Let the PMOS connected to A7
has a stuck-open defect
Column decoder
111
A6
A5
A4
A3
00100
Row decoder
A7
00110
10110
National Central University
X
Y
Z
Jin-Fu Li
1.
Write address Z(10110 111)
with logic 1
2.
Write address X(00100 111)
with logic 0
3
3.
Read address Z: result is
logic 1, that is correct
4.
Write address Y(00110 111)
with logic 0
5.
Read address Z: result is
logic 0, that is wrong!
43
Specific Faults for Multi-Port RAMs
•
•
•
The memory cell array faults can be detected as
the single
single-port
port RAMs
Multi-port RAM specific faults should be
covered
− Inter-port faults
− Intra-port
I t
t faults
f lt
To reduce the test complexity,
p
y, usually,
y, the
testing of inter-port and intra-port faults is
based on the following assumption
− Physical layout is known
National Central University
Jin-Fu Li
44
References
•
•
•
•
•
[1] A. J. van de Goor and C. A. Verruijt,”An Overview of Deterministic
Functional RAM Chip Testing”, ACM Computing Surveys, vol. 22, no. 1,
March 1990.
[2] A.
A K.
K Sharma,”Semiconductor
Sh
”S i
d
Memories
M
i – Technology,
T h l
Testing,
T i
and
d
Reliability”, IEEE PRESS, 1997.
[3] R. Dekker, F. Beenker, and L. Thijssen,”Fault Modeling and Test
Algorithm De
Development
elopment for Static Random Access Memories”,
Memories” Int
Int.
Test Conf., pp. 343-352, 1988.
[4] M. Sachdev,”Defect Oriented Testing for CMOS Analog and Digital
Circuits”, Kluwer Academic
Circuits
Academic, 1998.
1998
[5] B. F. Cockburn,”Tutorial on Semiconductor Memory Testing”,
JETTA, pp. 321-336, 1994.
National Central University
Jin-Fu Li
45
Download