By WAN ZUHA WAN HASAN (UPM) DEPARTMENT OF ELECTRICAL, ELECTRONIC AND SYSTEM, FACULTY OF ENGINEERING UKM Supervised by PROF DR MASURI OTHMAN (UKM) Co-supervisor.

Slides:



Advertisements
Similar presentations
International Technology Roadmap for Semiconductors
Advertisements

ITRS Roadmap Design + System Drivers Makuhari, December 2007 Worldwide Design ITWG Good morning. Here we present the work that the ITRS Design TWG has.
RRC-06 MIGS, EXCESS and EQUITABLE ACCESS EBU TECHNICAL DEPARTMENT TERRY OLEARY.
Genes and Evolution Comparative Genome Structure and Evolution Synteny- comparison of chromosome order in related species.
Dependability analysis and evolutionary design optimisation with HiP-HOPS Dr Yiannis Papadopoulos Department of Computer Science University of Hull, U.K.
Power Conscious Test Synthesis and Scheduling for BIST RTL Data Paths Nicola Nicolici and Bashir M. Al-Hashimi.
Lecture 11: Algorithms and Time Complexity I Discrete Mathematical Structures: Theory and Applications.
Computer Science Education
Jongsok Choi M.A.Sc Candidate, University of Toronto.
Survey of Detection, Diagnosis, and Fault Tolerance Methods in FPGAs
Fault Coverage Analysis of RAM Test Algorithms
Design and Use of Memory-Specific Test Structures to Ensure SRAM Yield and Manufacturability F. Duan, R. Castagnetti, R. Venkatraman, O. Kobozeva and S.
Digital Logic Design Gate-Level Minimization
Other Gate Types COE 202 Digital Logic Design Dr. Aiman El-Maleh
Presenter: Jyun-Yan Li On the Generation of Functional Test Programs for the Cache Replacement Logic W. J. Perez H. Universidad del Valle Grupo de Bionanoelectrónica.
Defect Tolerance for Yield Enhancement of FPGA Interconnect Using Fine-grain and Coarse-grain Redundancy Anthony J. YuGuy G.F. Lemieux September 15, 2005.
MEMORY BIST by: Saeid Hashemi Mehrdad Falakparvaz
Formal models of design 1/28 Radford, A D and Gero J S (1988). Design by Optimization in Architecture, Building, and Construction, Van Nostrand Reinhold,
Baloch 1MAPLD 2005/1024-L Design of a ‘Single Event Effect’ Mitigation Technique for Reconfigurable Architectures SAJID BALOCH Prof. Dr. T. Arslan 1,2.
KU College of Engineering Elec 204: Digital Systems Design
CENG 241 Digital Design 1 Lecture 3 Amirali Baniasadi
© 2007 Cisco Systems, Inc. All rights reserved.Cisco Public ITE PC v4.0 Chapter 1 1 Link-State Routing Protocols Routing Protocols and Concepts – Chapter.
Overload Scheduling in Real-Time Systems
RAT R1 R2 R3 R4 R5 R6 R7 Fetch Q RS MOB ROB Execute Retire.
Overheads for Computers as Components 2nd ed.
14. Memory testing Motivation for testing memories (4)
1 n Memory market and memory complexity n Notation n Faults and failures n MATS+ March Test n Memory fault models n March test algorithms n Inductive fault.
THUMB Instructions: Branching and Data Processing
Scalable Rule Management for Data Centers Masoud Moshref, Minlan Yu, Abhishek Sharma, Ramesh Govindan 4/3/2013.
Misbah Mubarak, Christopher D. Carothers
The Project Please read the project’s description first. Each router will have a unique ID, with your router’s ID of 0 Any two connected routers will have.
Memory BIST with Go-No-Go Testing for OR1200 System
Memory Test. Built-In Self Test (BIST) Introduction for Memory Test.
LEVERAGING ACCESS LOCALITY FOR THE EFFICIENT USE OF MULTIBIT ERROR-CORRECTING CODES IN L2 CACHE By Hongbin Sun, Nanning Zheng, and Tong Zhang Joseph Schneider.
PPT - FEUP / LEEC May Slide 1 of 50 Memory Testing - (according to Chapter 9 of M. Bushnell and V. Agrawal’s Essentials of Electronic Testing) Memory.
An Integrated ECC and Redundancy Repair Scheme for Memory Reliability Enhancement National Tsing Hua University Hsinchu, Taiwan Chin-Lung Su, Yi-Ting Yeh,
Presenter: Jyun-Yan Li A Software-Based Self-Test Methodology for On-Line Testing of Processor Caches G. Theodorou, N. Kranitis, A. Paschalis, D. Gizopoulos.
Slide 1/20 Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays Authors: Wenjing Rao, Alex Orailoglu, Ramesh Karri Conference: DSN 2007.
Core-based SoCs Testing Julien Pouget Embedded Systems Laboratory (ESLAB) Linköping University Julien Pouget Embedded Systems Laboratory (ESLAB) Linköping.
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 15alt1  Definitions of NPSFs  NPSF test algorithms  Parametric tests  Summary  References Lecture.
Build-In Self-Test of FPGA Interconnect Delay Faults Laboratory for Reliable Computing (LaRC) Electrical Engineering Department National Tsing Hua University.
Lecture 27 Memory and Delay-Fault Built-In Self-Testing
Evaluation of Redundancy Analysis Algorithms for Repairable Embedded Memories by Simulation Laboratory for Reliable Computing (LaRC) Electrical Engineering.
Design Technology Center National Tsing Hua University Flash Memory Built-In Self-Test Using March-Like Algorithms Jen-Chieh Yeh, Chi-Feng Wu, Kuo-Liang.
Laboratory for Reliable Computing (LaRC) Department of Electrical Engineering National Tsing Hua University Hsinchu, Taiwan Flash Memory Built-In.
1 At-Speed BISR Analyzer for Embedded Word-Oriented Memories Xiaogang Du Sudhakar M. Reddy ECE Department University of Iowa 17 th International Conference.
Copyright 2005, Agrawal & BushnellLecture 8: Memory Test1  Memory organization  Memory test complexity  Faults and fault models  MATS+ march test 
BIST vs. ATPG.
Dynamic Test Set Selection Using Implication-Based On-Chip Diagnosis Nuno Alves, Yiwen Shi, Nicholas Imbriglia, and Iris Bahar Brown University Jennifer.
1 Memory Technology Comparison ParameterZ-RAMDRAMSRAM Size11.5x4x StructureSingle Transistor Transistor + Cap 6 Transistor Performance10.5x2x.
Robust Low Power VLSI ECE 7502 S2015 Analog and Mixed Signal Test ECE 7502 Class Discussion Christopher Lukas 5 th March 2015.
Testing of integrated circuits and design for testability J. Christiansen CERN - EP/MIC
Unit IV Self-Test and Test Algorithms
Fault models Stuck-at Stuck-at-1 Reset coupling 0 0 Set coupling Inversion coupling Transition  /0 0 1 Transition  /1 1.
Canary SRAM Built in Self Test for SRAM VMIN Tracking
EE141 VLSI Test Principles and Architectures Ch. 9 - Memory Diagnosis & BISR - P. 1 1 Chapter 9 Memory Diagnosis and Built-In Self-Repair.
A Robust Pulse-triggered Flip-Flop and Enhanced Scan Cell Design
Built-In Self-Test/Self-Diagnosis for RAMs
Test and Test Equipment Joshua Lottich CMPE /23/05.
Yun-Chung Yang SimTag: Exploiting Tag Bits Similarity to Improve the Reliability of the Data Caches Jesung Kim, Soontae Kim, Yebin Lee 2010 DATE(The Design,
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Shih-Fan, Peng 2013 IEE5008 –Autumn 2013 Memory Systems DRAM Controller for Video Application Shih-Fan, Peng Department of Electronics Engineering National.
Copyright © 2010 Houman Homayoun Houman Homayoun National Science Foundation Computing Innovation Fellow Department of Computer Science University of California.
5-1 ECE 424 Design of Microprocessor-Based Systems Haibo Wang ECE Department Southern Illinois University Carbondale, IL
A Survey of Fault Tolerant Methodologies for FPGA’s Gökhan Kabukcu
VLSI Testing Lecture 10: Memory Test
VLSI Testing Lecture 14: Built-In Self-Test
VLSI Testing Lecture 10: Memory Test
Testing Analog & Digital Products Lecture 8: Memory Test
Test Data Compression for Scan-Based Testing
Presentation transcript:

By WAN ZUHA WAN HASAN (UPM) DEPARTMENT OF ELECTRICAL, ELECTRONIC AND SYSTEM, FACULTY OF ENGINEERING UKM Supervised by PROF DR MASURI OTHMAN (UKM) Co-supervisor DR BAMBANG SUNARYO SUPARJO (MENTOR GRAPHIC USA) THE DESIGN OF THE MEMORY BUILT-IN SELF-TEST, DIAGNOSIS AND REPAIR (MBISTDR) FOR SRAMs

Outline Introduction Memory Architecture Memory Fault Models Test Algorithms Memory Testing, Diagnosis and Repair Conclusion

Introduction Why BIST, BISD and BISR The advances of semiconductor memory technologies have become more complex and also the numbers of memory cell per chip (transistors) rapidly increase. The ITRS 2003 has shown an ever Increasing percentage of chip area devoted to embedded memory, with today’s SoCs already consisting of over 50% memory.

Introduction

Memory Sizes Versus Yield

Introduction ITRS SOC Test Requirements

Introduction The Requirement of Future MBISTDR Fault Modeling – New Fault Models (defect in deep-submicron) Test algorithm design – Optimal test/diagnosis (high defect coverage) BIST – allow at speed testing BISR – low cost repair scheme ( improve the yield and reliability)

Memory architecture Functional RAM Model Source: Testing and semiconductor memories, A.J. van de Goor

Reduced Functional RAM Model Memory architecture Source: Testing and semiconductor memories, A.J. van de Goor

Memory Fault Models Source: Testing and semiconductor memories, A.J. van de Goor

Memory Fault Models Source: Testing and semiconductor memories, A.J. van de Goor

Memory Fault Models

Coupling Fault(CF)

Memory Fault Models Two Cell Faults - cont

Memory Fault Models

Coupling Fault State Coupling Fault Source: Testing and semiconductor memories, A.J. van de Goor

Memory Fault Models

Test Algorithms Functional RAM Testing Traditional Test - Zero-One - SAF - Checkerboard - SAF - GALPAT and Walking 1/0 – AF, SAF, TF and CF - testing time unacceptable - Sliding Diagonal – SAF, TF - Butterfly – SAF, AF Source: Testing and semiconductor memories, A.J. van de Goor

Test Algorithms March Test Algorithms

Test Algorithms March Test Notation Source: Testing and semiconductor memories, A.J. van de Goor

Test Algorithms March Test Notation Source: Testing and semiconductor memories, A.J. van de Goor

Test Algorithms Source: Testing and semiconductor memories, A.J. van de Goor

Test Algorithms Comparison of March Tests March Test AlgorithmNumber Operation Fault Coverage Test-US MATS4n or * 2 N SAF, some AF MATS+ 2 5n or 5 * 2 N SAF, AF Test-UTMATS++7 or 7 * 2 N SAF, TF, AF Test-UCMarch C11nSAF, TF, AF, CF Test-LCMarch A15nSAF, AF, CF Test-LCTMarch B17nSAF, AF, CF, TF Source: Testing and semiconductor memories, A.J. van de Goor

Test Algorithms Fault detection using March C- M0 M1 M2 M3 { ⇕ (w0);  (r0, w1);  (r1, w0);  (r0,w1); M4 M5  (r1, w0); ⇕ (r0} - 10N Test algorithm Disable RAM (wait) {  (r0, w1,); Disable RAM(wait)  (r1):} - Data retention fault(DRF)

Test Algorithms Fault detection using Extended March C- (covered SOF) M0 M1 M2 M3 { ⇕ (w0);  (r0, w1,r1);  (r1, w0);  (r0,w1); M4 M5  (r1, w0); ⇕ (r0)} - 11N Test algorithm Disable RAM (wait) {  (r0, w1,); Disable RAM(wait)  (r1):} - Data retention fault(DRF)

Test Algorithms Fault detection using extended March C- Fault March Elements M0 ⇕ (w0) M1  (r0, w1,r1) M2  (r1, w0) M3  (r0,w1) M4  (r1, w0) M5 ⇕ (r0) SAF INITIALZATIONINITIALZATION r0 – s-a-1r1 – s-a-0 TF M1(r0,w1) followed M2(r1,w0) followed by M2(r1) for by M3(r0) for CF M1(r0,w1) for Cfid *j<i M1 followed by M2 for Cfin *j>i M2(r1,w0 ) for Cfid *j<i M2(r1,w0 ) for Cfin *j>i M3(r0,w1) followed M4(r1,w0) followed by M4(r1,w0) by M5(r0) for Cfid for Cfid M1 & M3(r0,w1) M2 & M4(r1,w0) Followed by followed by M5(r0) M4(r1,w0) for for Cfin Cfin *all CFids is j i is similar) AF (M1(r0, w1,r1) M2(r1, w0)) – j>i, (M3(r0,w1) M4 (r1, w0)) – i>j (Satisfied with known technology) SOF r1 DRF Disable RAM (wait) {  (r0, w1,); Disable RAM(wait)  (r1):}

Test Algorithms Functional Fault Models for Diagnosis ICCAD 2000 Chi-Feng Wu

Test Algorithms Fault detection and diagnosis using March CL {  (w0);  (r0, w1,);  (r1, w0,); ⇕ (r1); R0 R1 R2  (r0,w1); ⇕ (r1);  (r1, w0); ⇕ (r0)} R3 R4 R5 R6 -12N Test algorithm Disable RAM (wait){  (r0, w1,); Disable RAM(wait)  (r1):} - Data retention Fault(DRF).

Test Algorithms Fault detection and diagnosis by Extended March CL {  (w0);  (r0, w1, r1);  (r1, w0); ⇕ (r1);  R0 R1 R2 R3 (r0,w1); ⇕ (r1);  (r1, w0); ⇕ (r0)} R4 R5 R6 R7 -13N Test algorithm Disable RAM (wait){  (r0, w1,); Disable RAM(wait)  (r1):}- Data retention Fault(DRF).

Test Algorithms Fault syndrome for March CL

Test Algorithms Fault syndrome for Extended March CL

1. {  (w0);  (r0, w1,);  (r1, w0);  (r0,w1);  (r1, w0) }- Disable RAM (wait){  (r0,w1,); Disable RAM(wait)  (r1):} 9N test algorithm with data retention test – Rob Dekker 1988, has covered 100% coverage of the faults under the listed fault models. 2. {  (w0);  (r0, w1, r1, w0); delay  (r0, r0);  (w1);  (r1, w0, r0, w1); delay  (r1, r1)} 14N test algorithm - Said Hamdioui 2000, has covered 100% coverage of the faults under the listed fault models and spot defects. Test Algorithms Existing March Test Algorithms

3. {  (w0);  (r0); delay  (r0);  (w1);  (r1); delay  (r1)} or {  (w0);  (r0); delay  (r0);  (w1);  (r1); delay  (r1)} 6N test algorithm – Baosheng Wang 2003, has reduced less than half of the required time for the 9N test algorithm 4. { ⇕ (w0);  (r0, w1,); ⇕ (r1);  (r1, w0); ⇕ (r0);  (r0, w1); ⇕ (r1);  (r1, w0); ⇕ (r0); 13N test algorithm – V. N. Yarmolik 1996, has introduced diagnosis capability and achieved 63.6% diagnostic resolution (SAF & CF). Test Algorithms Existing March Test Algorithms

5. { ⇕ (w0);  (r0, w1,r1, w0);  (r0, w1);  (r1, w0,r0, w1); ⇕ (r1);  (r1, w0); ⇕ (r0);  (r0, w1); ⇕ (r1); 18N test algorithm – V. N. Yarmolik 1996, has been introduced for the diagnosis capability and achieved 90.9%diagnostic resolution (SAF & CF). 6. {  (w0);  (r0, w1, w0, w1);  (r1, w0, r0, w1);  (r1, w0, w1, w0);  (r0, w1, r1, w0); Hold  (r0, w1); Hold  (r1); 20N test algorithm – I. Kim 1998, has been diagnosis capability and achieved 59% diagnostic resolution (SAF & CF).

Test Algorithms Existing March Test Algorithms 7. {  (w0);  (r0, w1,r1, w0 ); ⇕ (r0); ⇕ (w1);  (r1, w0,r0, w1); ⇕ (r1); } 12N test algorithm – T. J. Bergfeld 2000, has proposed diagnosis capability but it could only achieve 22.7% diagnostic resolution (SAF & CF). 8. { ⇕ (w0);  (r0, w1, r1); ⇕ (r1);  (r1, w0,r0); ⇕ (r0);  (r0, w1, r1); ⇕ (r1);  (r1, w0, r0); ⇕ (r0); } 17N test algorithm – Jin-Fu Li 1996, has introduced diagnosis capability and achieved 100% diagnostic resolution(SAF & CF).

Test Algorithms Existing March Test Algorithms 9. {  (w0);  (r0, w1,); ⇕ (r1);  (r1, w0);  (r0, w1); ⇕ (r1);  (r1, w0); ⇕ (r0);} 12N test algorithm plus 3N or 4N ( for aggressor locating) – V. A. Vardanian 2002, has introduced diagnosis capability and achieved 100% diagnostic resolution.

STATE-OF-ART FOR TEST ALGORITHMS Optimality in term of time complexity Regularity and symmetry such that the self-test circuit can minimize the silicon areaRegularity and symmetry such that the self-test circuit can minimize the silicon area High defect coverage and diagnosis capability in order to increase the repair capabilities and the overall yieldHigh defect coverage and diagnosis capability in order to increase the repair capabilities and the overall yield Test Algorithms

Memory Testing, Diagnosis and Repair MBIST ARCHITECTURE SRAM MBIST SYSTEM FSM CONTROLLER COMPARATOR BIST

Memory Testing, Diagnosis and Repair MBISTD ARCHITECTURE SRAM MBISTD SYSTEM FSM CONTROLLER COMPARATOR BIST INDICATOR

STATE-OF-ART FOR BISTD Minimizing BIST overhead in both silicon area and routingMinimizing BIST overhead in both silicon area and routing Supporting diagnosis capabilitiesSupporting diagnosis capabilities Supporting different kinds of memories (single-port,multi-port)Supporting different kinds of memories (single-port,multi-port) Memory Testing, Diagnosis and Repair BISTD

Memory Testing, Diagnosis and Repair MBISTDR ARCHITECTURE SRAM MBISTDR SYSTEM FSM CONTROLLER COMPARATOR BIST INDICATOR EXTRA COLUMN /ROW/WORD

Conclusion MBISTDR is essential for memory reliability in the near future. The addition of BISD and BISR will enhance the yields of overall memory chips. New test algorithm and fault syndromes base on March CL has been proposed to detect and diagnose SOF and AF.

THANK YOU Q & A

THANK YOU Q & A

THANK YOU Q & A

Memory Testing, Diagnosis and Repair Example of MBISR Fuse Box Redundancy Logic RAM MBIST Mux Data Address Control The Memory BIST and Self-Repair (MBISR) Concept [Volker 2001]. Data

The Figure above shows the MBIST and Self-Repair using redundancy logic and Fuse Box concept. The MBISR concept contains an interface between MBIST logic, redundancy wrapper logic to replace defect address and Fuse boxes to store the failling addresses Memory Testing, Diagnosis and Repair

On Going Research The design and simulation of MBISTDR. New Test Algorithms with Diagnosis capability will be designed according to the required coverage and testing time.

Design of MBISTDR Controller for Stuck-at Faults MBISTDR CONTROLLER 32 X 12 SRAM MUX_1 MUX_2 d_in Wr_en Bistr_add r Bistr_error_addr bistr_data_read d_out Rd_en Sram_error bistr_data_write mode_sel addr bistr_en clk Mode_sel MBISTDR Methodology

The schematic of MBISTDR Controller for Stuck-at Faults MBISTDR Methodology

Figure above shows that MBISTDR contains MBISTDR controller and 32x12 SRAM Test Pattern In – Bistr_data_write (w0/w1) Mode_sel – test or normal mode Enable the Wr_en or Rd_en Test Pattern Out – Bistr_data_read(r0/r1) MBISTDR Methodology

Test and Repair Algorithm of MBISTDR controller for Stuck-at Faults MBISTDR Methodology

Figure above Shows that, how MBISTR controller implements the test and repair algorithm to the 32x12 SRAM memory. Procedure: address 1 – w0 then compare with r0 address 2 – w1 then compare with r1 Run until either marked addresses or memory addresses reach the maximum

MBISTDR Results And Discussion Fault Free Results for MBISTDR During Normal mode Operation

MBISTDR Result And Discussion Fault Detection Results for MBISTDR during Test mode Operation

Results for MBISTDR During Normal Mode and Test Mode Operation MBISTDR Result And Discussion

Final Target for MBISTDR Criteria: TA 1)High defect coverage and diagnosis capability in order to increase the repair capabilities and the overall yield – below 17N BISTDR 1)Supporting diagnosis capabilities – 100% diagnosis resolution (include SOF and AF) 2) Using Extra Memory for the BISR

MBISTDR Conclusion A new memory Built-in Self-test and Repair concept has been designed and this concept is proposed without using any extra rows and columns. These test and repair are only focused on the reconfiguration of the memory addresses, which means no extra spaces needed as the previous researches.