Académique Documents
Professionnel Documents
Culture Documents
RAM Testing
Jin-Fu Li
Advanced Reliable Systems (ARES) Lab.
Dept. of Electrical Engineering
National Central University
Jhongli, Taiwan
Outline
March Tests
Typical RAM Faults Testing
AFs Testing
NPSFs Testing
Converting Bit-Oriented RAM Tests into Word-
Oriented RAM Tests
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 memory Good memory Good 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
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
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
Condition Element
1 (rx, , w x)
2 (r x, , wx)
Condition 1
Read the value x from cell 0, then write x to cell 0, ,
read the value x from cell n-1, then write x to cell n-1
Condition 2
Read the value x from cell n-1, then write x to cell n-
1, , read the value x from cell 0, then write x to cell
0
EE, National Central University Jin-Fu Li 12
March Tests for AFs
Sufficiency of the conditions for detecting AFs
Fault A & B:
Detected by every test that detects SAFs. When address Ax
is written and read, Cx will appear either SA0 or SA1.
Fault C:
Detected by first initializing the entire memory to an
expected value x or x. Any subsequent march element
operation that reads the expected value x and ends by
writing x detects fault C
Fault D:
The memory my return a random result. The fault must be
generated when Ax is written, and detected when either Aw
and Av is read
Condition 1 detects fault D1 and D2
Condition 2 detects fault D1 and D3
W31
W30 Cell
W29
W28
-A3
W1
A4
W0
A7 A5 A4 A3 A5
-A7 -A5 -A4 -A3 A
-A6 6E A7
W0
A7 A5 A4 A3
-A7 -A5 -A4 -A3 A
-A6 6E
Type 1 Type 2
0 1 2 3 4 0 1 2 3 4
2 3 4 0 1 2 3 4 0 1
4 0 1 2 3 4 0 1 2 3
1 2 3 4 0 1 2 3 4 0
3 4 0 1 2 3 4 0 1 2
0 1 2 3 4 0 1 2 3 4
2 3 4 0 1 2 3 4 0 1
4 0 1 2 3 4 0 1 2 3
1 2 3 4 0 1 2 3 4 0
3 4 0 1 2 3 4 0 1 2
3 4 0
4 0 1 0 1 2 1 2 3
2 3 4
1 2
2 3 4 3 4 0
5 1
SNPSF test
When all static neighborhood patterns are applied
simultaneously to the neighborhoods of all based cells-2,
they are automatically applied to the neighborhoods of
all base cells in the memory
With n/5*25 write operations
EE, National Central University Jin-Fu Li 22
Tests for NPSFs
Type 2 tiling neighborhood
Similar to type 1 NPSFs tiling method
0 1 2 0 1 2 0 1 2 0
3 4 5 3 4 5 3 4 5 3
6 7 8 6 7 8 6 7 8 6
0 1 2 0 1 2 0 1 2 0
3 4 5 3 4 5 3 4 5 3
6 7 8 6 7 8 6 7 8 6
0 1 2 0 1 2 0 1 2 0
3 4 5 3 4 5 3 4 5 3
6 7 8 6 7 8 6 7 8 6
0 1 2 0 1 2 0 1 2 0
CFs in WOMs
Inter-word CFs & intra-word CFs
Intra-word
CF
Inter-word
CF
adjacent
interleaved
sub-array