Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.

Slides:



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

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
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.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Annoucements  Next labs 9 and 10 are paired for everyone. So don’t miss the lab.  There is a review session for the quiz on Monday, November 4, at 8:00.
Lecture 11: Sequential Circuit Design. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 11: Sequential Circuits2 Outline  Sequencing  Sequencing Element Design.
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.
5/13/2015 Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Built-in Self-test.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 21alt1 Lecture 21alt BIST -- Built-In Self-Test (Alternative to Lectures 25, 26 and 27) n Definition.
Dynamic Scan Clock Control In BIST Circuits Priyadharshini Shanmugasundaram Vishwani D. Agrawal
EE466: VLSI Design Lecture 17: Design for Testability
Copyright 2001, Agrawal & BushnellDay-1 AM Lecture 11 Design for Testability Theory and Practice January 15 – 17, 2005 Vishwani D. Agrawal James J. Danaher.
11/17/05ELEC / Lecture 201 ELEC / (Fall 2005) Special Topics in Electrical Engineering Low-Power Design of Electronic Circuits.
1 Lecture 23 Design for Testability (DFT): Full-Scan n Definition n Ad-hoc methods n Scan design Design rules Scan register Scan flip-flops Scan test sequences.
Design for Testability Theory and Practice Lecture 11: BIST
Chapter 7: Testing Of Digital Circuits 1 Testing of Digital Circuits M. Balakrishnan Dept. of Comp. Sci. & Engg. I.I.T. Delhi.
Design for Testability
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11 Lecture 1 Introduction n VLSI realization process n Verification and test n Ideal and real tests.
Output Hazard-Free Transition Tests for Silicon Calibrated Scan Based Delay Testing Adit D. Singh Gefu Xu Auburn University.
Fall 2006, Nov. 30 ELEC / Lecture 12 1 ELEC / (Fall 2006) Low-Power Design of Electronic Circuits Test Power Vishwani D.
Testing of Logic Circuits. 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models  Observability and Controllability.
2/9/2007EECS150 Lab Lecture #41 Debugging EECS150 Spring2007 – Lab Lecture #4 Laura Pelton Greg Gibeling.
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
3. Built-In Self Test (BIST): Periodical Off-Line Test on the Field 3.1 General Structure Unit Under Test Data Compressor Data Generator Comparator Display.
ELEN 468 Lecture 231 ELEN 468 Advanced Logic Design Lecture 23 Testing.
EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability.
EEE515J1 ASICs and DIGITAL DESIGN Lecture 8: Testing Ian McCrumRoom 5D03B Tel: voice mail on 6 th ring Web site:
Department of Computer Systems / TKT Design for Testability / O. Vainio Motivation  Testability is an important quality metric in electronic.
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
Mugil Vannan H ST Microelectronics India Pvt. Ltd, Noida
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
CS Fall 2005 – Lec. #18: Testing - 1 Testing of Logic Circuits zFault Models zTest Generation and Coverage zFault Detection zDesign for Test.
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.
August VLSI Testing and Verification Shmuel Wimer Bar Ilan University, School of Engineering.
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 ( )
Design for Testability By Dr. Amin Danial Asham. References An Introduction to Logic Circuit Testing.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
ECE 260B – CSE 241A Testing 1http://vlsicad.ucsd.edu ECE260B – CSE241A Winter 2005 Testing Website:
1 Note on Testing for Hardware Components. 2 Steps in successful hardware design (basic “process”): 1.Understand the requirements (“product’) 2.Write.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
CS/EE 3700 : Fundamentals of Digital System Design
Built-In Self Test (BIST).  1. Introduction  2. Pattern Generation  3. Signature Analysis  4. BIST Architectures  5. Summary Outline.
Silicon Programming--Testing1 Completing a successful project (introduction) Design for testability.
1 VLSI Design Lecture Four Design & Testing Issues Dr. Richard Spillman PLU Spring 2003.
ASIC Design. ASIC Design Flow Hierarchy in DC The group and ungroup commands provide the designer with the capability of altering the partitions in DC,
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
Testability in EOCHL (and beyond…)
VLSI Testing Lecture 14: Built-In Self-Test
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 3)
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Lecture 12: Design for Testability
Lecture 12: Design for Testability
Design for Testability
Lecture 12: Design for Testability
EECS150 Fall 2007 – Lab Lecture #4 Shah Bawany
Debugging EECS150 Fall Lab Lecture #4 Sarah Swisher
Debugging EECS150 Fall Lab Lecture #4 Sarah Swisher
Lecture 26 Logic BIST Architectures
Presentation transcript:

Lecture 5: Design for Testability

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models  Observability and Controllability  Design for Test –Scan –BIST  Boundary Scan

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability3 Testing  Testing is one of the most expensive parts of chips –Logic verification accounts for > 50% of design effort for many chips –Debug time after fabrication has enormous opportunity cost –Shipping defective parts can sink a company  Example: Intel FDIV bug (1994) –Logic error not caught until > 1M units shipped –Recall cost $450M (!!!)

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability4 Logic Verification  Does the chip simulate correctly? –Usually done at HDL level –Verification engineers write test bench for HDL Can’t test all cases Look for corner cases Try to break logic design  Ex: 32-bit adder –Test all combinations of corner cases as inputs: 0, 1, 2, , -1, -2 31, a few random numbers  Good tests require ingenuity

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability5 Silicon Debug  Test the first chips back from fabrication –If you are lucky, they work the first time –If not…  Logic bugs vs. electrical failures –Most chip failures are logic bugs from inadequate simulation –Some are electrical failures Crosstalk Dynamic nodes: leakage, charge sharing Ratio failures –A few are tool or methodology failures (e.g. DRC)  Fix the bugs and fabricate a corrected chip

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability6 Manufacturing Test  A speck of dust on a wafer is sufficient to kill chip  Yield of any chip is < 100% –Must test chips after manufacturing before delivery to customers to only ship good parts  Manufacturing testers are very expensive –Minimize time on tester –Careful selection of test vectors

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability7 Manufacturing Failures SEM images courtesy Intel Corporation

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability8 Stuck-At Faults  How does a chip fail? –Usually failures are shorts between two conductors or opens in a conductor –This can cause very complicated behavior  A simpler model: Stuck-At –Assume all failures cause nodes to be “stuck-at” 0 or 1, i.e. shorted to GND or V DD –Not quite true, but works well in practice

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability9 Examples

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability10 Observability & Controllability  Observability: ease of observing a node by watching external output pins of the chip  Controllability: ease of forcing a node to 0 or 1 by driving input pins of the chip  Combinational logic is usually easy to observe and control  Finite state machines can be very difficult, requiring many cycles to enter desired state –Especially if state transition diagram is not known to the test engineer

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability11 Test Pattern Generation  Manufacturing test ideally would check every node in the circuit to prove it is not stuck.  Apply the smallest sequence of test vectors necessary to prove each node is not stuck.  Good observability and controllability reduces number of test vectors required for manufacturing test. –Reduces the cost of testing –Motivates design-for-test

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability12 Test Example SA1SA0  A 3 {0110}{1110}  A 2 {1010}{1110}  A 1 {0100}{0110}  A 0 {0110}{0111}  n1{1110}{0110}  n2{0110}{0100}  n3{0101}{0110}  Y{0110}{1110}  Minimum set: {0100, 0101, 0110, 0111, 1010, 1110}

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability13 Design for Test  Design the chip to increase observability and controllability  If each register could be observed and controlled, test problem reduces to testing combinational logic between registers.  Better yet, logic blocks could enter test mode where they generate test patterns and report the results automatically.

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability14 Scan  Convert each flip-flop to a scan register –Only costs one extra multiplexer  Normal mode: flip-flops behave as usual  Scan mode: flip-flops behave as shift register  Contents of flops can be scanned out and new values scanned in

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability15 Scannable Flip-flops

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability16 ATPG  Test pattern generation is tedious  Automatic Test Pattern Generation (ATPG) tools produce a good set of vectors for each block of combinational logic  Scan chains are used to control and observe the blocks  Complete coverage requires a large number of vectors, raising the cost of test  Most products settle for covering 90+% of potential stuck-at faults

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability17 Built-in Self-test  Built-in self-test lets blocks test themselves –Generate pseudo-random inputs to comb. logic –Combine outputs into a syndrome –With high probability, block is fault-free if it produces the expected syndrome

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability18 PRSG  Linear Feedback Shift Register –Shift register with input taken from XOR of state –Pseudo-Random Sequence Generator StepY (repeats) Flops reset to 111 Y

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability19 BILBO  Built-in Logic Block Observer –Combine scan with PRSG & signature analysis

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability20 TestosterICs  TestosterICs functional chip tester –Designed by clinic teams and David Diaz at HMC –Reads your test vectors, applies them to your chip, and reports assertion failures

CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability21 Summary  Think about testing from the beginning –Simulate as you go –Plan for test after fabrication  “If you don’t test it, it won’t work! (Guaranteed)”