Professional Documents
Culture Documents
By
Vamsy
INTRODUCTION
• Till now we have seen Coverage and patterns for ATPG which mainly deals with combinational
, sequential circuits along with wires
• There are other very important modules in digital circuit like memories which also need to
tested.
• High storage capacity is obtained by increasing the density, which implies decrease in the size
of circuit (capacitor) used to store bits.
• Memory Architecture , redundancy cells.
MEMORY BASICS
RAM: Random Access Memory
•– historically defined as memory array with individual bit access
•– refers to memory with both Read and Write capabilities
ROM: Read Only Memory
•– no capabilities for “online” memory Write operations
•– Write typically requires high voltages or erasing by UV light
Volatility of Memory :
•– volatile memory loses data over time or when power is removed
•RAM is volatile
•– non-volatile memory stores date even when power is removed
•ROM is non-volatile
Types of RAMS:
SRAM
DRAM
6T SRAM CELL:
DRAM = Dynamic Random Access Memory
– Dynamic: must be refreshed periodically
– Volatile: loses data when power is removed
• Stuck At fault
• Transition fault
• Coupling fault
• NPS fault
• Address decoder fault
Stuck-At Fault (SAF) :
• The content of the victim cell is inverted if the aggressor cell has a transition
• To detect CFin between cell x (victim) and y (aggressor)
• CFin (y rise → x inverted): w0x w0y w1y r0x.
• CFin (y fall → x inverted): w0x w1y w0y r0x.
MEMORY FAULTS
Idempotent Coupling Fault (CFid):
The victim is forced to 0 or 1 if the aggressor has a 0 → 1 or 1 → 0 transition
Zero-one Algorithm
Fault Coverage :
Not all AFs detected
SAFs detected if the address decoder is fault free Not all TFs and CFs detected
CHECKERBOARD ALGORITHM
Cells are divided in two groups
Fault coverage:
Not all AFs detected
SAFs detected if the address decoder is fault free
Not all TFs and CFs detected
This test is able to detect bridging faults
MATS ALGORITHM
MATS ( modified algorithmic Test Sequence)
(w0); (r0,w1); (r1);
s1: write 0 to all cells
s2: for each cell
read 0 ;
write 1;
s3: read 1 from all cells
This algorithm will find AFs
MATS+ ALGORITHM:
MATS+