EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability.

Slides:



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

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
BOUNDARY SCAN.
V. Vaithianathan, AP/ECE
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
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.
Apr. 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 311 Lecture 31 System Test n Definition n Functional test n Diagnostic test  Fault dictionary  Diagnostic.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Prof. John Nestor ECE Department Lafayette College Easton, Pennsylvania ECE VLSI Circuit Design Lecture 17 - Sequential.
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 2001, Agrawal & BushnellDay-1 AM-3 Lecture 31 Testing Analog & Digital Products Lecture 3: Fault Modeling n Why model faults? n Some real defects.
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
Lecture 28 IEEE JTAG Boundary Scan Standard
Externally Tested Scan Circuit with Built-In Activity Monitor and Adaptive Test Clock Priyadharshini Shanmugasundaram Vishwani D. Agrawal.
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 & BushnellDay-2 PM Lecture 121 Design for Testability Theory and Practice Lecture 12: System Diagnosis n Definition n Functional.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault.
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.
Fundamentals of Electrical Testing
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
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
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.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
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 ( )
Testing of Digital Systems: An Introduction Dr. Aiman H. El-Maleh Computer Engineering Department King Fahd University of Petroleum & Minerals Dr. Aiman.
Logic BIST Logic BIST.
Design for Testability By Dr. Amin Danial Asham. References An Introduction to Logic Circuit Testing.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Boundary Scan.
April 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 281 Lecture 28 IEEE JTAG Boundary Scan Standard n Motivation n Bed-of-nails tester n System view.
EE434 ASIC & Digital Systems Partha Pande School of EECS Washington State University
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.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
EE3A1 Computer Hardware and Digital Design Lecture 13 Detecting faults in Digital Systems.
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,
VLSI Testing Lecture 14: System Diagnosis
UNIT VIII: CMOS TESTING
Hardware Testing and Designing for Testability
COUPING WITH THE INTERCONNECT
Algorithms and representations Structural vs. functional test
VLSI Testing Lecture 14: Built-In Self-Test
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 2)
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 3)
ECE 434 Advanced Digital System L18
Lecture 12: Design for Testability
VLSI Testing Lecture 15: System Diagnosis
Lecture 12: Design for Testability
Design for Testability
Lecture 12: Design for Testability
Lecture 26 Logic BIST Architectures
Presentation transcript:

EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability

EE 447/EE547 2 Outline Testing  Logic Verification  Silicon Debug  Manufacturing Test Fault Models Observability and Controllability Design for Test  Scan  BIST Boundary Scan

EE 447/EE547 3 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  Logic error not caught until > 1M units shipped  Recall cost $450M (!!!)

EE 447/EE547 4 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

EE 447/EE547 5 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

EE 447/EE547 6 Shmoo Plots How to diagnose failures?  Hard to access chips Picoprobes Electron beam Laser voltage probing Built-in self-test Shmoo plots  Vary voltage, frequency  Look for cause of electrical failures

EE 447/EE547 7 Shmoo Plots How to diagnose failures?  Hard to access chips Picoprobes Electron beam Laser voltage probing Built-in self-test Shmoo plots  Vary voltage, frequency  Look for cause of electrical failures

EE 447/EE547 8 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

EE 447/EE547 9 Testing Your Chips If you don’t have a multimillion dollar tester:  Build a breadboard with LED’s and switches  Hook up a logic analyzer and pattern generator  Or use a low-cost functional chip tester

EE 447/EE TestosterICs Ex: TestosterICs functional chip tester  Designed by clinic teams and David Diaz at HMC  Reads your IRSIM test vectors, applies them to your chip, and reports assertion failures

EE 447/EE 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

EE 447/EE Examples

EE 447/EE 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

EE 447/EE 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

EE 447/EE Fault Models Stuck-at Faults  SA0 – Stuck-At-0 fault  SA1 – Stuck-At-1 fault  Stuck-open  Stuck-short

EE 447/EE 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}

EE 447/EE 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.

EE 447/EE 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

EE 447/EE Scannable Flip-flops

EE 447/EE 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

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ

EE 447/EE PRSG Linear Feedback Shift Register  Shift register with input taken from XOR of state  Pseudo-Random Sequence Generator StepQ (repeats)

EE 447/EE BILBO Built-in Logic Block Observer  Combine scan with PRSG & signature analysis

EE 447/EE Boundary Scan Testing boards is also difficult  Need to verify solder joints are good Drive a pin to 0, then to 1 Check that all connected pins get the values Through-hold boards used “bed of nails” SMT and BGA boards cannot easily contact pins Build capability of observing and controlling pins into each chip to make board test easier

EE 447/EE Boundary Scan Example

EE 447/EE Boundary Scan Interface Boundary scan is accessed through five pins  TCK: test clock  TMS: test mode select  TDI: test data in  TDO: test data out  TRST*:test reset (optional) Chips with internal scan chains can access the chains through boundary scan for unified test strategy.

EE 447/EE 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)”