Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
26
Добавлен:
11.05.2015
Размер:
1.57 Mб
Скачать

Digital Systems Testing and Design for Testability

Prof. Dr. V.N.Yarmolik

Lecture course: 48 hours lectures, 32 hours lab. works

6. Memory Testing

1

6.Memory Testing

6.1.RAM Faults Model Functional Model of an SRAM chip

Address latch

 

 

Column decoder

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Memory cell

 

 

 

 

 

 

 

 

array

 

 

 

 

Row decoder

 

 

 

 

 

 

 

 

 

 

 

 

 

Write driver

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sense amplifiers Data register

Read/Write and chip

Data Out Data In

enable

 

Address

Address Decoder

Memory cells

Read/Write logic

Data

Types of Memory: SRAM, DRAM, ROM, EPROM, EEPROM

2

6.Memory Testing

6.1.RAM Faults Model

Types of Memory:

DRAM- Dynamic Random Access Memories

Highest number of bits/chip, but need for refresh for information (stored in capacitor); volatile

SRAM- Static Random Access Memories

Store in latches; no refresh need, but more silicon/bit than DRAM; volatile

ROM- Read Only Memory

Permanent – information burned in at manufacture; non-volatile

EPROM – Erasable, Programmable Read – Only Memories

Non-volatile, programmable by end-user (erasure of whole chip by exposure to ultraviolet light)

EEPROM – Electronically Erasable, Programmable Read – Only Memories

Non-volatile; information can be erased on a word by word basis by3 writing to the chip, rather than erasure of whole chip

6.Memory Testing

6.1.RAM Faults Model

Fault analysis

Global defects may be caused by a too thick gate oxide, or too thin poly silicon, mask misalignments, and so forth. They affect many chips on a wafer and and can be detected at first testing stages.

Local defects (also called spot defects) are caused by extra, missing, or inappropriate material (for example, dust particles). A spot defect affect only a single chip and causes a functional fault.

Functional faults: 1. Cell stuck.

2. Driver stuck

3. Read/write line stuck

4. Chip select line stuck

5. Data line stuck

6. Short between data lines

7. Crosstalk between data lines

8. Address line stuck

9. Open in address line

10. Shorts between address lines

11. Open decoder

12. Wrong access

13. Multiple access

14. Cell can be set to = but not to 1 (or vice-versa) 4

15. Pattern sensitive interaction between cells

6.Memory Testing

6.1.RAM Testing

Testing Problem:

-Exponential increase of number of bits/chip;

-Increasing density leads to greater susceptibility to problems from neighboring cells, noise on address lines, transient faults etc;

-Complexity of test algorithm becomes critical as number of memory cells increases.

Exhaustive memory test:

Memory of n cells – have to check for every cell – it can store 1 and 0 and be read, for every combination of the contents of the rest of the memory. Requires at least for each of the 2n states for the memory go through each cell, and read, write opposite value, i.e. number of operations >3n 2n.

Given a 1K memory (1024 cells) cycle time = 100nsecs time requred for complete memory fault check exceeds 18 10296 years

TOO LARGE to be practical for any memory e.g. even for just 32 bit RAM –

11.4 hours.

5

6.Memory Testing

6.1.RAM Faults Model

Address decoder faults

 

Cx

A

x

C

 

 

 

 

 

x

Ax

 

Cx Ax

Cy

Ay

 

Fault 1

Fault 2

 

Fault 3

 

 

Fault 4

Fault 1: With a certain address, no cell will be accessed; Fault 2: A certain cell will not be accessible;

Fault 3: With a certain address, multiple cells are accessed simultaneously;

Fault 4: A certain cell can be accessed with multiple addresses;

 

Fault A: Fault 1 + Fault 2;

 

Fault B: Fault 1 + Fault 3;

 

Fault C: Fault 2 + Fault 4;

 

Fault D: Fault 3 + Fault 4;

6

6.Memory Testing

6.1.RAM Faults Model

Simple Memory Faults

Single faults:

Stuck-at (SAF). A permanent stuck-at 0 or stuck-at 1 fault that may occur in any memory cell.

To detect SAF the value 0 and value have to be read from all memory

cells.

Stuck-open faults (SOF). An SOF in a memory cell means that the cell cannot be accessed.

To detect SOF a memory test has to verify that 0 and 1 can be read from every cell.

Transition fault (TF). A cell fails to undergo 0 1 transition and/or 1 0 transition.

verified. Both transitions for all memory cells have to be performed and final value

Data retention fault (DRF). A cell fails to retain its logic value after some period of time.

A certain time must pass while the DRF develops (the leakage currents

have to discharge the open node of the SRAM cell). Empirical results show that a

wait time (called delay time) of 100 ms is adequate for the SRAM cells studied.

Values 0 and 1 for all cells have to be verified

7

6.Memory Testing

6.1.RAM Faults Model Conditions for Simple Memory Faults detection

1.All SAF’s can be detected by a march test which contains the r0 and r1 operations.

2.All TF’s be detected by a march test which contains 0 1 transition and 1 0 transition with read operations after these transitions.

3.Any AF (linked and single) are detectable by a march test

which contains the following two march elements:(rx,...,wx*); (rx*,...,wx), where x* is inversion of x.

4.Any SOFs are detectable by a march test which contains the following element (…,rx,…,rx*,…)

8

6.Memory Testing

6.1.RAM Faults Model

Faults between memory cells:

Coupling faults (CF). CF involves two cells (aggressor cell and victim cell). There are Idempotent and Inversion Coupling faults:

Idempotent Coupling fault (CFid). A positive (or negative) transition in a cell cj forces another cell ci to a certain value 0 or 1; < ,0>, < ,1>, < ,0>, < ,1>.

Inversion Coupling fault (CFin). A positive (or negative) transition in a cell cj inverts the state of a cell ci irrespective to the value of this state; < ,b>, < ,b>.

 

There are 12 types of coupling faults which can be distinguished by march

tests: 1 - < ,0>

2 - < ,0>

3 - < ,1>

 

4 - < ,1>

 

 

5 - < , b >

6 -

< , b > 7

- < ,0>

8 - < ,0>

9 - < ,1> 10 - < ,1> 11 - < , b > 12 - < , b >.

 

 

 

 

< ,0/1>

 

< ,1/0>

 

 

 

 

< ,0/1>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

< ,1/0>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

k

j

v

i

 

j

 

k

 

Example of unlinked faults

Example of linked faults 9

6.Memory Testing

Pattern Sensitive Faults 6.1.RAM Faults Model

A Pattern Sensitive Fault (PSF) is defined as follows: The contents of a cell, or ability to change the contents, is influenced by the contents of all other cells in the memory. These contents consists of a pattern of 0s and 1s, or changes in these contents. The base cell b is the cell under test. The neighborhood cells are the cells that are the neighbors to the base cell.

 

a

 

 

a

a

a

 

a

a

a

a

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

b

 

a

 

a

b

 

a

 

a

a

b

 

a

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

a

a

a

 

a

a

a

a

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Active Pattern Sensitive Fault (APSF), also called a Dynamic PSF: the base cell changes its contents due to a changes in the neighborhood pattern. This changes consists of a transition on one neighborhood cell, while the remaining neighborhood cells and the base cell contain a certain pattern.

Passive Pattern Sensitive Fault (PPSF): the content of the base cell cannot be changed due to a certain neighborhood pattern.

Static Pattern Sensitive Fault (SPSF): the content of a base cell is forced to a

certain state due to a certain neighborhood pattern

10

Соседние файлы в папке КиДСВТ_Лекции_2014