TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES

Similar documents
Metodologie di progetto HW Il test di circuiti digitali

Metodologie di progetto HW Il test di circuiti digitali

VLSI Testing. Introduction. Virendra Singh Indian Institute of Science Bangalore

VLSI Test Technology and Reliability (ET4076)

Testing Digital Systems I

VLSI System Testing. Lecture 1 Introduction Class website: people.ee.duke.edu/~krish/teaching/538.html

EE434 ASIC & Digital Systems Testing

CMOS Testing: Part 1. Outline

Testing And Testable Design of Digital Systems

VLSI Test Technology and Reliability (ET4076)

ENG04057 Teste de Sistema Integrados. Prof. Eric Ericson Fabris (Marcelo Lubaszewski)

VLSI System Testing. Fault Simulation

COEN-4730 Computer Architecture Lecture 12. Testing and Design for Testability (focus: processors)

Very Large Scale Integration (VLSI)

Design and Synthesis for Test

About the Instructor

Minimization of NBTI Performance Degradation Using Internal Node Control

Fault Simulation. Problem and Motivation

Lecture 3 - Fault Simulation

CHAPTER 1 INTRODUCTION

Overview ECE 753: FAULT-TOLERANT COMPUTING 1/21/2014. Recap. Fault Modeling. Fault Modeling (contd.) Fault Modeling (contd.)

More Course Information

ECE520 VLSI Design. Lecture 1: Introduction to VLSI Technology. Payman Zarkesh-Ha

VLSI Testing. Fault Simulation. Virendra Singh. Indian Institute of Science Bangalore

VLSI Testing. Virendra Singh. Bangalore E0 286: Test & Verification of SoC Design Lecture - 7. Jan 27,

VLSI Test Technology and Reliability (ET4076)

1 Introduction & The Institution of Engineering and Technology 2008 IET Comput. Digit. Tech., 2008, Vol. 2, No. 4, pp.

Lecture 2 VLSI Testing Process and Equipment

Hardware Modeling using Verilog Prof. Indranil Sengupta Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur

Chapter 9. Design for Testability

Testing Principle Verification Testing

COE 561 Digital System Design & Synthesis Introduction

l Some materials from various sources! Soma 1! l Apply a signal, measure output, compare l 32-bit adder test example:!

James Lin Vice President, Technology Infrastructure Group National Semiconductor Corporation CODES + ISSS 2003 October 3rd, 2003

EE5780 Advanced VLSI CAD

Short Papers. System-on-a-Chip Test Scheduling With Precedence Relationships, Preemption, and Power Constraints

Department of Electrical and Computer Engineering University of Wisconsin Madison. Fall Midterm Examination CLOSED BOOK

VLSI Design Automation

Diagnostic Test Vectors for Combinational and Sequential

EE 709:Testing & Verification of VLSI Circuits Introduction

Scan-Based BIST Diagnosis Using an Embedded Processor

Digital Design Methodology

ECE 486/586. Computer Architecture. Lecture # 2

VLSI Design Automation

Soft-Core Embedded Processor-Based Built-In Self- Test of FPGAs: A Case Study

CMPEN 411 VLSI Digital Circuits. Lecture 01: Introduction

Lab. Course Goals. Topics. What is VLSI design? What is an integrated circuit? VLSI Design Cycle. VLSI Design Automation

ECE484 VLSI Digital Circuits Fall Lecture 01: Introduction

Parallelized Network-on-Chip-Reused Test Access Mechanism for Multiple Identical Cores

Introduction 1. GENERAL TRENDS. 1. The technology scale down DEEP SUBMICRON CMOS DESIGN

Impact of DFT Techniques on Wafer Probe

EE586 VLSI Design. Partha Pande School of EECS Washington State University

Design for Test of Digital Systems TDDC33

Digital Design Methodology (Revisited) Design Methodology: Big Picture

Test/Repair Area Overhead Reduction for Small Embedded SRAMs

A Study on the Testing of VLSI Systems Using Reduced Power Consumption Methods

IC Testing and Development in Semiconductor Area

CAD for VLSI. Debdeep Mukhopadhyay IIT Madras

ISSN (PRINT): , (ONLINE): , VOLUME-3, ISSUE-8,

ECE 156B Fault Model and Fault Simulation

ANALYSIS OF ADDER USING BIST

VLSI Testing. Lecture Fall 2003

Programmable Logic Devices II

Core Research for Evolutional Science & Technology (CREST) "Fundamental Technologies for Dependable VLSI Systems (DVLSI)"

Challenges for Non Volatile Memory (NVM) for Automotive High Temperature Operating Conditions Alexander Muffler

ECE/Comp Sci 352 Digital Systems Fundamentals Kewal K. Saluja and Yu Hen Hu Spring Logic and Computer Design Fundamentals.

Digital Integrated Circuits

VLSI Design Automation. Calcolatori Elettronici Ing. Informatica

EEM870 Embedded System and Experiment Lecture 2: Introduction to SoC Design

Design for Test of Digital Systems TDDC33

Low Power Testing of VLSI Circuits Using Test Vector Reordering

Will Silicon Proof Stay the Only Way to Verify Analog Circuits?

Cycle-Accurate Test Power Modeling and its Application to SoC Test Scheduling

RTL Scan Design for Skewed-Load At-Speed Test under Power Constraints

EE241 - Spring 2000 Advanced Digital Integrated Circuits. Practical Information

Embedded Quality for Test. Yervant Zorian LogicVision, Inc.

Driving 3D Chip and Circuit Board Test Into High Gear

Lecture 28 IEEE JTAG Boundary Scan Standard

TESTING OF FAULTS IN VLSI CIRCUITS USING ONLINE BIST TECHNIQUE BASED ON WINDOW OF VECTORS

Vdd Programmable and Variation Tolerant FPGA Circuits and Architectures

Pak. J. Biotechnol. Vol. 14 (Special Issue II) Pp (2017) Keerthiga D.S. and S. Bhavani

Collapsing for Multiple Output Circuits. Diagnostic and Detection Fault. Raja K. K. R. Sandireddy. Dept. Of Electrical and Computer Engineering,

Power Consumption in 65 nm FPGAs

Platform for System LSI Development

Hardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University

Lecture 7 Fault Simulation

Unit 2: High-Level Synthesis

VLSI Design Automation. Maurizio Palesi

DFT Trends in the More than Moore Era. Stephen Pateras Mentor Graphics

Qualification Strategies of Field Programmable Gate Arrays (FPGAs) for Space Application October 26, 2005

Design Methodologies

SoC Design Lecture 14: SoC Testing. Shaahin Hessabi Department of Computer Engineering Sharif University of Technology

An Advanced and more Efficient Built-in Self-Repair Strategy for Embedded SRAM with Selectable Redundancy

Adaptive Techniques for Improving Delay Fault Diagnosis

Static Compaction Techniques to Control Scan Vector Power Dissipation

A Strategy for Interconnect Testing in Stacked Mesh Network-on- Chip

DIGITAL DESIGN TECHNOLOGY & TECHNIQUES

Contents 1 Basic of Test and Role of HDLs 2 Verilog HDL for Design and Test

Core-Level Compression Technique Selection and SOC Test Architecture Design 1

CAD Algorithms. Circuit Partitioning

Transcription:

TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Kewal K. Saluja University of Wisconsin - Madison Motivation, Fault Models and some Callenges

Overview Motivation Technology, Test cost, and VLSI realization process Contract between design house and fab vendor Need for testing and Levels of testing rule of 10 (or 20) Cost and role of testing Fault Modeling Why model faults and some real defects in VLSI and PCB Common fault models Net list description, stuck-at faults and number of faults Method to reduce fault list Other faults transistor faults Some Challenges in testing Test application time and Test data compaction Test scheduling 1/13/2012 2

Motivation: Moore s Law Complexity Growth of VLSI circuits Source (Copp, Int. AOC EW Conf., 2002) 1/13/2012 3

Thermal Effect of Moore s law Moore s law Greater packaging densities Higher power densities Higher temperature Effects Reliability Performance Power Cooling cost 1/13/2012 4

Introduction: Challenges under deep submicron technologies (Yao) Source: Intel Source: Intel Chip size decreases Power density increases Source: Wang et al. ISPD2003 Chip becomes hotter Leakage power make it worse

Microprocessor Cost per Transistor Cost of testing will EXCEED cost of design/manufacturing (Source: ITR-Semiconductor, 2002) 1/13/2012 6

Present and Future Technology Directions: SIA Roadmap Year 1999 2002 2005 2008 2011 2014 Feature size (nm) 180 130 90 45 32 22 Mtrans/cm 2 7 14-26 47 115 284 701 Chip size (mm 2 ) 170 170-214 235 269 308 354 Signal pins/chip 768 1024 1024 1280 1408 1472 Clock rate (MHz) 600 800 1100 1400 1800 2200 Wiring levels 6-7 7-8 8-9 9 9-10 10 Power supply (V) 1.8 1.5 1.2 0.9 0.6 0.6 High-perf power (W) 90 130 160 170 174 183 Battery power (W) 1.4 2.0 2.4 2.0 2.2 2.4 http://www.itrs.net/ntrs/publntrs.nsf

VLSI Realization Process Customer s need Determine requirements Write specifications Design synthesis and Verification Test development Fabrication Manufacturing test Chips to customer 1/13/2012 8

Contract between a design house and a fab vendor Design is complete and checked (verified) Fab vendor: How will you test it? Design house: I have checked it and Fab vendor: But, how would you test it? Desing house: Why is that important? It is between I and my clients it is none of your business Fab vendor Sorry you can take your business some where else. complete the story and determine the reasons for the importance of test generation etc. 1/13/2012 9

Contract between design Hence: Test must be comprehensive It must not be too long Issues: Model possible defects in the process Understand the process Develop logic simulator and fault simulator Develop test generator Methods to quantify the test efficiency 1/13/2012 10

Need for testing Functionality issue Does the circuit (large or small) work? Density issue Higher density higher failure probability Application issue Life critical applications Maintenance issue Need to identify failed components Cost of doing business What does testing achieve? Discard only the bad product? see next three slides 1/13/2012 11

Testing as Filter Process Good chips Prob(good) = y Prob(pass test) = high Mostly good chips Fabricated chips Defective chips Prob(bad) = 1- y Prob(fail test) = high Mostly bad chips 1/13/2012 12

Levels Chip Board System Levels of testing (1) Boards put together System-on-Chip (SoC) System in field Cost Rule of 10 It costs 10 times more to test a device as we move to higher level in the product manufacturing process 1/13/2012 13

Levels of testing (2) Other ways to define levels these are important to develop correct fault models and simulation models Transistor Gate RTL Functional Behavioral Architecture Focus: Chip level testing gate level design 1/13/2012 14

Cost of Testing Design for testability (DFT) Chip area overhead and yield reduction Performance overhead Software processes of test Test generation and fault simulation Test programming and debugging Manufacturing test Automatic test equipment (ATE) capital cost Test center operational cost 1/13/2012 15

Roles of Testing Detection: Determination whether or not the device under test (DUT) has some fault. Diagnosis: Identification of a specific fault that is present on DUT. Device characterization: Determination and correction of errors in design and/or test procedure. Failure mode analysis (FMA): Determination of manufacturing process errors that may have caused defects on the DUT. 1/13/2012 16

Why Model Faults? I/O function tests inadequate for manufacturing (functionality versus component and interconnect testing) Real defects (often mechanical) too numerous and often not analyzable A fault model identifies targets for testing A fault model makes analysis possible Effectiveness measurable by experiments 1/13/2012 17

Some Real Defects in Chips Processing defects Missing contact windows Parasitic transistors Oxide breakdown... Material defects Bulk defects (cracks, crystal imperfections) Surface impurities (ion migration)... Time-dependent failures Dielectric breakdown Electromigration NBTI (negative bias temperature instability)... Packaging failures Contact degradation Seal leaks... Ref.: M. J. Howes and D. V. Morgan, Reliability and Degradation - Semiconductor Devices and Circuits, Wiley, 1981. + more recent defect types 1/13/2012 18

Netlist Format: Two Examples UW format # gate connected to 1 PI 4, 5 ; 2 PI 3, 6 ; 3 not 5 ; 4 not 6 ; 5 and 7 ; 6 and 7 ; 7 or 8 ; 8 PO ; ISCAS format output = gate(inputs) INPUT(G1) INPUT(G2) OUTPUT(G7) G3 = NOT(G2) G4 = NOT(G1) G5 = AND(G1, G3) G6 = AND(G2, G4) G7 = OR(G5, G6) 1/13/2012 19

Common Fault Models Single stuck-at faults Transistor open and short faults Memory faults PLA faults (stuck-at, cross-point, bridging) Functional faults (processors) Delay faults (transition, path) Analog faults For more examples, see Section 4.4 (p. 60-70) of the book. 1/13/2012 20

Stuck-at Faults Single stuck-at faults What does it achieve in practice? Fault equivalence Fault dominance and checkpoint theorem Classes of stuck-at faults and multiple faults 1/13/2012 21

Single Stuck-at Fault Three properties define a single stuck-at fault Only one line is faulty The faulty line is permanently set to 0 or 1 The fault can be at an input or output of a gate Example: XOR circuit has 12 fault sites ( ) and 24 single stuck-at faults 1 0 a b c d e s-a-0 g 1 h i f k Test vector for h s-a-0 fault Faulty circuit value Good circuit value j 0(1) 1(0) 1/13/2012 22 1 z

Introduction: Test Scheduling BIST Core 1 Core 2 BIST Core 3 External Test Bus Core 4 BIST Core 5 Core 6 BIST Test Scheduling: In order to reduce the test cost, the testing time must be minimized by carefully scheduling tests for cores at the system level and the tests must be scheduled without violating any constraint.

Thermal-aware test Scheduling: Problem formulation A test set S, consisting of n tests ti (i = 1 to n), needs to be applied to a device under test. Each test ti has 1) test length Li, 2) test power consumption Pi, 3) test compatibility with a set of known tests. (A test ti is compatible with test tj if there is no resource conflict between them and they can be applied to the device simultaneously.) The test scheduling problem is to find a test schedule such that: 1. The total test application time is minimized. Total test application time is defined as the earliest time at which all tests have completed. 2. There is no resource conflict between any two simultaneously running tests. 3. The total power consumption of the device at all times is smaller than the power constraint, Pmax 4. The temperature at every location in the device at all times is smaller than the temperature constraint, Tmax

Introduction: History Iyengar, Chakrabarty et al. 02 Craig, Kime and Saluja 88 Bild, Dick et al. 08 Kime and Saluja 82 Rosinger, Al-Hashimi et al. 05 Resource Constrained Power Constrained Thermal Constrained Abadir and Breuer 85 Samii, Larsson et al. 06 Yao, Saluja et al. 09 Chou, Saluja and Agrawal 94 He, Peng and Eles 07

Resource constrained Test scheduling Goal: Minimize total test time under resource constraints Test resource conflict Test pattern generator Test response compactor Shared test path Solutions: Graph algorithms Clique cover Graph coloring Combinational optimization

Resource constrained Test scheduling: Example BIST Core 1 Core 2 BIST Core 3 Test compatibility graph (TCG) t2 t1 t3 Core 4 BIST Core 5 Core 6 BIST t4 t5 t6

Resource constrained Test scheduling: Example Clique cover heuristic A clique is a maximal complete subgraph of a graph. Goal: cover all nodes by minimum number of cliques. Solution: (1,3,5) (2,6) (4) t1 t4 t2 t5 t3 t6

Resource constrained Test scheduling: Test session Test Session A subset of the test set such that all the tests in the test session are compatible. Next test session can start only after previous test session is completed. Test time Test time Test time t1 t1 t1 t3 t2 t3 t2 t3 t2 t5 t6 t4 t5 t6 t4 t5 t6 t4 Session 1 Session 2 Session 3 Session 1 Session 2 Session 3 Test scheduling with equal length tests Test scheduling with unequal length tests Better solution For unequal length tests

Power constrained Test scheduling Goal: Minimize total test time under resource and power constraints Algorithms: Graph based Rectangle/bin packing Mixed Integer Linear Programming (MILP) Simulated annealing Genetic algorithm Ant colony Applications: System-on-Chip (SoC) Network-on-Chip (NoC) Multi-clock domain chips Multi-supply and multi-voltage chips