Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.

Slides:



Advertisements
Similar presentations
ECE 555 Lecture 16: Design for Testability
Advertisements

Digital Integrated Circuits© Prentice Hall 1995 Combinational Logic COMBINATIONAL LOGIC.
Chapter 3 Fault Modeling
MEMORY BIST by: Saeid Hashemi Mehrdad Falakparvaz
V. Vaithianathan, AP/ECE
Copyright 2001, Agrawal & BushnellLecture 12: DFT and Scan1 VLSI Testing Lecture 10: DFT and Scan n Definitions n Ad-hoc methods n Scan design  Design.
Introduction to CMOS VLSI Design Lecture 17: Design for Testability David Harris Harvey Mudd College Spring 2004.
Design for Testability (DfT)
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Leonardo da Vinci ALLEGRO © J. M. Martins Ferreira - University of Porto (FEUP / DEEC)1 Scan design techniques J. M. Martins Ferreira FEUP / DEEC - Rua.
1 Chapter Design For Testability The Scan-Path Technique The testing problems with sequential circuit can be overcome by two properties: 1.The.
LEONARDO INSIGHT II / TAP-MM ASTEP - Basic Test Concepts © J. M. Martins Ferreira - University of Porto (FEUP / DEEC)1 Basic test concepts J. M. Martins.
Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Topics n High-level synthesis. n Architectures for low power. n Testability and architecture.

EE466: VLSI Design Lecture 17: Design for Testability
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
Design for Testability
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
ELEC516/10 Lecture 10 1 ELEC 516 VLSI System Design and Design Automation Spring 2010 Lecture 10 – Design for Testability Reading Assignment: Kang – CMOS.
Design Methodologies.
Testing of Logic Circuits. 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models  Observability and Controllability.
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
TOPIC - BIST architectures I
Technical University Tallinn, ESTONIA Overview: Fault Simulation Overview about methods Low (gate) level methods Parallel fault simulation Deductive fault.
EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability.
VLSI Testing Lecture 7: Combinational ATPG
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Testability and architecture. Design methodologies. Multiprocessor system-on-chip.
Modern VLSI Design 3e: Chapter 5,6 Copyright  2002 Prentice Hall PTR Adapted by Yunsi Fei Topics n Sequential machine (§5.2, §5.3) n FSM construction.
Testing of integrated circuits and design for testability J. Christiansen CERN - EP/MIC
CSE477 L28 DFT.1Irwin&Vijay, PSU, 2003 CSE477 VLSI Digital Circuits Fall 2003 Lecture 28: Design for Test Mary Jane Irwin ( )
Introduction to VLSI Testing
Unit III Design for Testability
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
European Test Symposium, May 28, 2008 Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI Kundan.
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Topics Design methodologies. Kitchen timer example.
ECE 260B – CSE 241A Testing 1http://vlsicad.ucsd.edu ECE260B – CSE241A Winter 2005 Testing Website:
TOPIC : Controllability and Observability
CS/EE 3700 : Fundamentals of Digital System Design
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
Engineered for Tomorrow Date : 11/10/14 Prepared by : MN PRAPHUL & ASWINI N Assistant professor ECE Department Engineered for Tomorrow Subject Name: Fundamentals.
1 VLSI Design Lecture Four Design & Testing Issues Dr. Richard Spillman PLU Spring 2003.
ELEC 7770 Advanced VLSI Design Spring 2016 Introduction
Hayri Uğur UYANIK Very Large Scale Integration II - VLSI II
UNIT VIII: CMOS TESTING
Hardware Testing and Designing for Testability
COUPING WITH THE INTERCONNECT
Algorithms and representations Structural vs. functional test
ECE 434 Advanced Digital System L18
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Lecture 12: Design for Testability
ELEC 7770 Advanced VLSI Design Spring 2014 Introduction
VLSI Testing Lecture 7: Combinational ATPG
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Test Iwan Sonjaya,MT 2014年 01 月 22 日 © Springer, 2010
Pattern Compression for Multiple Fault Models
ELEC 7770 Advanced VLSI Design Spring 2012 Introduction
Lecture 12: Design for Testability
Design for Testability
ELEC 7770 Advanced VLSI Design Spring 2010 Introduction
Lecture 12: Design for Testability
Fault Models, Fault Simulation and Test Generation
VLSI Testing Lecture 7: Combinational ATPG
Sungho Kang Yonsei University
Testing in the Fourth Dimension
Automatic Test Pattern Generation
Topics Switch networks. Combinational testing..
Lecture 26 Logic BIST Architectures
Presentation transcript:

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Validation and Test of Manufactured Circuits Components of DFT strategy Provide circuitry to enable test Provide test patterns that guarantee reasonable coverage Goals of Design-for-Test (DFT) Make testing of manufactured part swift and comprehensive DFT Mantra Provide controllability and observability

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Test Classification Diagnostic test »used in chip/board debugging »defect localization go/no go or production test »Used in chip production Parametric test »x [v,i] versus x [0,1] »check parameters such as NM, V t, t p, T

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Testability Exhaustive test is impossible or unpractical

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Problem: Controllability/Observability l Combinational Circuits: controllable and observable - relatively easy to determine test patterns l Sequential Circuits: State! Turn into combinational circuits or use self-test l Memory: requires complex patterns Use self-test

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Test Approaches l Ad-hoc testing l Scan-based Test l Self-Test Problem is getting harder »increasing complexity and heterogeneous combination of modules in system-on-a-chip. »Advanced packaging and assembly techniques extend problem to the board level

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Generating and Validating Test-Vectors l Automatic test-pattern generation (ATPG) »for given fault, determine excitation vector (called test vector) that will propagate error to primary (observable) output »majority of available tools: combinational networks only »sequential ATPG available from academic research l Fault simulation »determines test coverage of proposed test-vector set »simulates correct network in parallel with faulty networks l Both require adequate models of faults in CMOS integrated circuits

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Fault Models Most Popular - Stuck - at model, : x1 sa1 : x1 sa0 or x2 sa0 : Z sa1 Covers almost all (other) occurring faults, such as opens and shorts.

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Problem with stuck-at model: CMOS open fault Sequential effect Needs two vectors to ensure detection! Other options: use stuck-open or stuck-short models This requires fault-simulation and analysis at the switch or transistor level - Very expensive!

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Problem with stuck-at model: CMOS short fault Causes short circuit between Vdd and GND for A=C=0, B=1 Possible approach: Supply Current Measurement (IDDQ) but: not applicable for gigascale integration

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Path Sensitization Techniques Used: D-algorithm, Podem Goals: Determine input pattern that makes a fault controllable (triggers the fault, and makes its impact visible at the output nodes) sa Fault propagation Fault enabling

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Ad-hoc Test Inserting multiplexer improves testability

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Scan-based Test

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Polarity-Hold SRL (Shift-Register Latch) Introduced at IBM and set as company policy

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Scan-Path Register

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Scan-based Test Operation

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Scan-Path Testing Partial-Scan can be more effective for pipelined datapaths

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Boundary Scan (JTAG) Board testing becomes as problematic as chip testing

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Self-test Rapidly becoming more important with increasing chip-complexity and larger modules

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Linear-Feedback Shift Register (LFSR) Pseudo-Random Pattern Generator

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Signature Analysis Counts transitions on single-bit stream Compression in time

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies BILBO

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies BILBO Application

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Memory Self-Test Patterns: Writing/Reading 0s, 1s, Walking 0s, 1s Galloping 0s, 1s