CS/EE 3700 : Fundamentals of Digital System Design

Slides:



Advertisements
Similar presentations
IC TESTING.
Advertisements

Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
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.
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.
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
Externally Tested Scan Circuit with Built-In Activity Monitor and Adaptive Test Clock Priyadharshini Shanmugasundaram Vishwani D. Agrawal.
Modern VLSI Design 2e: Chapter 4 Copyright  1998 Prentice Hall PTR Topics n Switch networks. n Combinational testing.
Design for Testability Theory and Practice Lecture 11: BIST
Design for Testability
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
CS Spring 2007 – Lec. #20: Testing - 1 Testing of Logic Circuits zFault Models zTest Generation and Coverage zFault Detection zDesign for Test.
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.
EE141 Chapter 1 Introduction.
1 Introduction VLSI Testing. 2 Overview First digital products (mid 1940's) Complexity:low MTTF:hours Cost:high Present day products (mid 1980's) Complexity:high.
Vishwani D. Agrawal James J. Danaher Professor
January 16, '02Agrawal: Delay testing1 Delay Testing of Digital Circuits Vishwani D. Agrawal Agere Systems, Murray Hill, NJ USA
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.
BIST AND DATA COMPRESSION 1 JTAG COURSE spring 2006 Andrei Otcheretianski.
Digital Fundamentals Floyd Chapter 1 Tenth Edition
EE 447/EE547 1 VLSI DESIGN Lecture 10 Design for Testability.
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
TS 1.1 Basic Digital Troubleshooting 1 ©Paul Godin Updated August 2013 gmail.com.
Digital Components and Combinational Circuits Sachin Kharady.
Modern VLSI Design 4e: Chapter 4 Copyright  2008 Wayne Wolf Topics n Switch networks. n Combinational testing.
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 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 ( )
Slide No. 1 Course: Logic Design Dr. Ali Elkateeb Topic: Introduction Course Number: COMP 1213 Course Title: Logic Design Instructor: Dr. Ali Elkateeb.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Fundamentals with PLD Programming.
Washington State University
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
Appendix A Example of a Testability Design Checklist Route test/control points edge connector to enable monitoring and driving of internal board functions.
Appendix A Example of a Testability Design Checklist  Route test/control points edge connector to enable monitoring and driving of internal board functions.
Chapter 7 Logic Circuits 1.State the advantages of digital technology compared to analog technology. 2. Understand the terminology of digital circuits.
TOPIC : Different levels of Fault model UNIT 2 : Fault Modeling Module 2.1 Modeling Physical fault to logical fault.
Modern VLSI Design 3e: Chapter 7 Copyright  1998, 2002 Prentice Hall PTR Topics n Power/ground routing. n Clock routing. n Floorplanning tips. n Off-chip.
Fault modeling is the translation of physical defects into a mathematical construct that can be operated upon algorithmically and.
Floyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd © 2008 Pearson Education Chapter 1.
TOPIC : Controllability and Observability
Jan. 26, 2001VLSI Test: Bushnell-Agrawal/Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault models.
Silicon Programming--Testing1 Completing a successful project (introduction) Design for testability.
TOPIC : RTD, SST UNIT 5 : BIST and BIST Architectures Module 5.2 Specific BIST Architectures.
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.
ELEC 7950 – VLSI Design and Test Seminar
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
1 VLSI Design Lecture Four Design & Testing Issues Dr. Richard Spillman PLU Spring 2003.
Hardware Testing and Designing for Testability
COUPING WITH THE INTERCONNECT
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
Lecture 12: Design for Testability
Design for Testability
Sequential circuits and Digital System Reliability
Lecture 12: Design for Testability
Digital Fundamentals Floyd Chapter 1 Tenth Edition
Topics Switch networks. Combinational testing..
Lecture 26 Logic BIST Architectures
Presentation transcript:

CS/EE 3700 : Fundamentals of Digital System Design Chris J. Myers Lecture 11: Testing of Logic Circuits Chapter 11

Testing of Logic Circuits Must test a circuit to check that it meets required functional and timing specification. Manufacturing process can introduce flaws. Testing applies a set of inputs, called tests, and compare with expected outputs. Challenge is to derive a small set of tests. Exhaustive approach is impractical.

Faults Many things can go wrong: Transistor may be stuck open or closed. Wire can be shorted to Vdd or Gnd. Wire may simply be broken. Two wires may get shorted together. Logic gate may produce the wrong output.

Stuck-At Model Stuck-at model assumes a fault manifests as some wire stuck at a logic value of 0 or 1. If w is stuck-at-0, it is denoted w/0. If w is stuck-at-1, it is denoted w/1. While this model does not work for all types of faults, works reasonably well.

Single and Multiple Faults Dealing with multiple faults is difficult. Considering single faults only still detects majority of multiple faults. Fault detected when output value of faulty circuit differs from good circuit for a test. Complete set of test is called a test set.

CMOS Circuits Transistors may be permanently open or shorted (closed). May or may not appear as a stuck-at fault. May also cause permanent path between Vdd and Gnd giving intermediate voltage. May also lead to combinational circuit to behave like a sequential one. Will restrict ourselves to stuck-at model.

Complexity of a Test Set Sequential circuits substantially more complex to test than combinational ones. In combinational case, we can apply all possible input valuations and check outputs. This approach is impractical and unnecessary for large circuits.

Figure 11.1 Fault detection in a simple circuit w 1 f b w 2 w 3 d c (a) Circuit Fault detected Test w w w 1 2 3 a/0 a/1 b/0 b/1 c/0 c/1 d/0 d/1 f /0 f /1 000    001     010     011     100   101   110   111  (b) Faults detected by the various input valuations Figure 11.1 Fault detection in a simple circuit

Figure 11.2 A sensitized path w b 1 w = 1 2 c w = 3 f w = 1 4 Figure 11.2 A sensitized path

Figure 11.3 Circuit for Example 11.1 w c 1 w 2 b d f w 3 w 4 Figure 11.3 Circuit for Example 11.1

Figure 11.4 Detection of faults h k fault fault 1 ¤ ¤ b g Figure 11.4 Detection of faults (a) Circuit g (b) Detection of (c) Detection of b c 1 2 3 4 1 2 3 4 1 2 3 4 w w w w w w w w w w w w

Figure 11.5 Circuit with a tree structure 3 w 4 w 2 w f 3 w 4 w 1 w 2 w 3 Figure 11.5 Circuit with a tree structure

Figure 11.6 Derivation of tests for the circuit in Figure 11.5 Product term Test No. w w w w w w w w w w w w w 1 3 4 2 3 4 1 2 3 1 2 3 4 1 1 1 1 1 1 Stuck-at-0 2 1 1 1 1 1 1 1 1 tests 3 1 1 1 1 1 1 1 1 4 1 1 1 1 1 1 1 5 1 1 1 1 1 1 1 1 Stuck-at-1 6 1 1 1 1 1 1 tests 7 1 1 1 1 1 1 1 1 1 8 1 1 1 1 1 Figure 11.6 Derivation of tests for the circuit in Figure 11.5

Figure 11.7 All two-variable functions 2 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 00 1 1 1 1 1 1 1 1 01 1 1 1 1 1 1 1 1 10 1 1 1 1 1 1 1 1 11 1 1 1 1 1 1 1 1 Figure 11.7 All two-variable functions

h b w d 1 f w 2 c k Figure 11.8 The XOR circuit

Figure 11.9 The effect of various faults Circuit implements b/0 f = w 5 2 b/1 f = w 10 2 c/0 f = w 3 1 c/1 f = w 12 1 d/0 f = d/1 f = w + w 7 1 2 h/0 f = 1 15 h/1 f = w w 4 1 2 k/0 f = 1 15 k/1 f = w w 2 1 2 Figure 11.9 The effect of various faults

Figure 11.10 Effectiveness of random testing Percent faults detected Number of tests Figure 11.10 Effectiveness of random testing

Testing Sequential Circuits Response of sequential circuit is dependent on both current input and present state. Could check all state transitions. Cannot determine state, not observable. Circuits must be designed to be testable.

Figure 11.11 Scan-path arrangement 1 Combinational circuit z k w n y 3 2 Y Clock Scan-in Normal Scan ¤ Scan-out D Q

Figure 11.12 Circuit for Example 11.3 1 w y 2 z Y Resetn Scan-out Normal/Scan Scan-in Clock D Q

Figure 11.13 The testing arrangement x p Test Circuit Test vector under result generator test compressor x p n – 1 m – 1 Signature Figure 11.13 The testing arrangement

Figure 11.14 Pseudorandom binary sequence generator (PSRG) Clock x x x x 3 2 1 PRBS (a) Circuit x 1 1 1 1 1 1 1 1 1 ··· 3 x 1 1 1 1 1 1 1 1 ··· 2 x 1 1 1 1 1 1 1 1 ··· 1 x 1 1 1 1 1 1 1 1 ··· f 1 1 1 1 1 1 1 1 1 ··· (b) Generated sequence Figure 11.14 Pseudorandom binary sequence generator (PSRG)

Figure 11.15 Single-input compressor circuit Signature D Q D Q D Q D Q p Q Q Q Q Clock Figure 11.15 Single-input compressor circuit

Figure 11.16 Multiple-input compressor circuit (MIC) Signature D Q D Q D Q D Q Q Q Q Q Clock p p p p 3 2 1 Figure 11.16 Multiple-input compressor circuit (MIC)

Figure 11.17 BIST in a sequential circuit Z-signature Normal ¤ Test MIC Z W Combinational X 1 circuit y Y PRBSG-X Scan-out SIC Y-signature Flip-flops and multiplexers Scan-in PRBSG-y Figure 11.17 BIST in a sequential circuit

Figure 11.18 A four-bit built-in logic block observer (BILBO) D Q 1 M 2 S i n G ¤ Clock p 3 q o u t Figure 11.18 A four-bit built-in logic block observer (BILBO)

Figure 11.19 Using BILBO circuits for testing Scan-out Combinational Combinational BILBO1 network BILBO2 network CN1 CN2 Scan-in Figure 11.19 Using BILBO circuits for testing

Boundary Scan Chips soldered into printed circuit boards do not allow easy access it inputs/outputs. Pins can be configured into a shift register to allow inputs and outputs to be scanned in. Now IEEE Standard 1149.1.

Printed Circuit Boards Need CAD software to design them. Crosstalk – capacitively coupled wires. Avoid long parallel wires. Power supply noise – power supply spikes. Use bypass capacitors between Vdd and Gnd. Transmission-line effects Use termination component on the line.

Testing of PCBs Power Up – check for hot chips and correct power and ground voltages. Reset – put circuit into known start state. Low-level functional testing – use divide-and-conquer approach.

Testing of PCBs Full functional testing – test system. Manufacturing errors. Incorrect specifications. Misinterpretation of the data sheets. Wrong data sheets. Timing – start with slow clock and gradually increase to desired frequency. Reliability – affected by timing, noise, crosstalk issues, and environment.

Instrumentation Oscilloscope – displays voltage waveforms to show problems with delay and noise. Logic analyzer – allows examination of large groups of signals.

Where to go from here . . . CS/EE 3710 – Computer Design Laboratory CS/EE 3720 – Analog and Digital Interfacing CS/EE 3810 – Computer Architecture CS/EE 4710 – Senior Project CS/EE 5710 – Digital IC Design CS/EE 5720 – Analog IC Design CS/EE 5740 – CAD for Digital Circuits CS/EE 5750 – Asynchronous Circuit Design CS/EE 5810 – Advanced Computer Architecture CS/EE 5830 – VLSI Architecture

New to the CE Program Tracks are no longer required. Still must take 15 credits of CS/EE classes. New senior thesis option: Must take EE 3900 Junior seminar in Fall and prethesis in Spring (0.5 credits each). Senior year must take one year of senior thesis for a total of 4 credits. Do not need to take CS/EE 4710. Can lead into a joint BS/EE degree.