Professional Documents
Culture Documents
C apte 7 Memory
Me o y Testing
est g
Jin-Fu Li
Advanced Reliable Systems (ARES) Laboratory
Department of Electrical Engineering
National Central University
JJhongli,
g , Taiwan
Outline
Importance of Embedded Memories
RAM Functional Faults
March Tests
C
Converting
ti Bit
Bit-Oriented
O i t d RAM Tests
T t into
i t Word-
W d
Oriented RAM Tests
RAM BIST
20%
52%
16% 71%
83%
90% 94%
16%
64%
13%
32% 9%
6% 4%
16% 8% 4% 2%
99 02 05 08* 11* 14*
*Foreast Source: SIA
SIA, ITRS
ITRS, 2000
Row Deecoder
A1
...
...
...
...
...
Ak-1
Sn-1
... Wordni-1
...
A0
Aj-1 Column Decoder
Sense Amplifier
Read/Write Circuit
2m-bit
bit Input/Output
Input/Output
Repair
Test generation Post-repair
Probe test
Die separation,
separation
packaging
Fault simulation Pre-BI Test
Burn in
Burn-in
Final Test
DFT & DFM Shipment
rrow deco
memory
cell array
oder
write
it ddriver
i sense amplifier
lifi
read/write
ead/ te &
enable d t register
data i t
data data
in out
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 12
Reduced Functional Model
Mem
Rea
address
de
ad
mory cell
ecoder
ddress
array
a
ad/write
llogic
data
The address latch,, the row,, and the column-
decoder are combined to the address decoder
y all concern addressing
They 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
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
w1
w0 S0 S1 w1
w0
w1
w0
0 S0 w1
1 w0
0 S1 w1
1 w0
0 S0 S1
w0
w1
SA0 fault SA1 fault TFu
D Q
Cn
Cd 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
value, 0 or 1.
1
An idempotent coupling fault can be thought of as an
S/R type flip-flop
S/R-type flip flop with an OR-gate
OR gate in the Set or Reset
line, as depicted in the following figure. Sn is the normal
set input
p whereas Sd is the undesired set input p due to
coupling with one or more other flip flops.
Rn
R Q
CFst
CF t
A 0 or 1 state in one cell forces the content of a second
cell to a certain value,
value 0 or 1
It can be thought of as a D-type flip-flop with an
OR/AND gate in the data line (D)
OR/AND-gate (D), as depicted in the
following figure. Dn is the normal set input whereas Dd
is the undesired set input
p due to coupling
p g with one or
more other flip flops
clk Q
Dynamic
D i Coupling
C li Fault
F lt (CFd)
Occur between cells in different 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>
1 X 1 1 1 1 1 1
(w1)
X X X X 1 X 1 1
Initial state
0 0 0 1 1 1 0 0 0
0 0 0 1 1 1 0 0 0
0 0 0 1 1 1 0 0 0
Good
G d memory Good
G d memory Good
G d memory
after M0 after M1 after M2
0 0 0 1 1 1 0 0 0
0 0 0 0 1 1 0 0 0
0 0 0 1 1 1 0 0 0
Bad memory Bad memory Bad memory
after M0 after M1 after M2
0 0 0 1 1 1 0 0 0
0 0 0 1 1 1 0 0 0
0 0 0 1 1 1 0 0 0
Good memory Good memory Good memory
after M0 after M1 after M2
0 0 0 1 1 1 0 0 0
1 0 0 1 1 1 1 0 0
0 0 0 1 1 1 0 0 0
Bad memory Bad memory Bad memory
after M0 after M1 after M2
MATS+
MATS detection
d i off TF
TFu & TFd can b
be proved
d iin
the same way
M1 is
1 0 0 1 1 0 1 1 1 1 1 1 1 1 1
executed 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1
0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
Cell 0 is Cell 1 is Cell 2 is Cell 3 is Cell 8 is
addressed addressed addressed addressed addressed
M3 is
0 0 0 0 0 0 0 0 0 0 0 0 1 1 1
executed 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1
0 0 1 0 1 1 1 1 1 1 1 1 1 1 1
Cell 0 is Cell 1 is Cell 2 is Cell 3 is Cell 8 is
addressed addressed addressed addressed addressed
CFs in WOMs
Inter-word CFs & intra-word CFs
Intra-word
CF
Inter-word
Inter word
CF
adjacent
j
interleaved
sub-array
Normal I/Os
T t Controller
Test C t ll
Test Collar
C
RAM
Test Pattern
Generator
Go/No-Go
Comparator
R0 S1
NOT last address?
W1 S2
R1 S3
NOT first address?
W0 S4
R0 S5
NOT first address?
W1 S6
End S7
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 43
Programmable RAM BIST
An example of the programmable RAM BIST
Normal I/Os
CMD
Test Collar
Co
TGO
ontrollerr
BSC RAM
ENA
BRS
DONE
BGO
CLK
BNS
Idle BRS=1
BSC=1
DONE=1 Shift
Shift_cmd
d
BSC=0
Get_cmd
Apply ENA=1
DONE=0
Idle ENA=0
ENA=1
Init DONE/GO
Null=1
Null=0
Ifetch
Exec
Dfetch
Error=1 Error=0
No-Go Compare
ROM
2 m+ p × (n + p)
n p
Register
n
Row d
Ci Ci+1
decoder
Column decoder
L t h
Latch L t h
Latch
Write
Read
BIST on
To next test input
From previous output or serial input
or serial input
Ii Oi Ii+1 Oi+1
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 52
Serial Shift Operation
An example of serial shift operations for the match element
(R0W1)
Time Operation Serial Word Serial
in content out
0 X 0 0 0 0 X
1 R0 X 0 0 0 0 0
0
11 00 00 00 2 W1 1 1 0 0 0 0
3 R0 1 1 0 0 0 0
4 W1 1 1 1 0 0 0
5 R0 1 1 1 0 0 0
010 000 000 000
6 W1 1 1 1 1 0 0
7 R0 1 1 1 1 0 0
1
X
1 0
X
8 W1 1 1 1 1 1 0
⇑ ( R 1, W 0 ) C ( R 0 , W 0 ) C ; ⇓ ( R 0 , W 1) C ( R 1, W 1) C
⇓ ( R 1, W 0 ) C ( R 0 , W 0 ) C ; ⇓ ( R 0 , W 0 ) C ( R 0 , W 0 ) C
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 54
Serial BIST Architecture
BIST GO Done
Controller Timing
Counters
generator
SO SI
Control
lsb msb
Data out
Data in
Address C-1
M ltiple er
Multiplexer M ltiple er
Multiplexer M ltiple er
Multiplexer
C C
Address
Add Data
D t iin Data
D t outt Control
C t l