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

Similar documents
EE 709:Testing & Verification of VLSI Circuits Introduction

Testing Digital Systems I

Testing And Testable Design of Digital Systems

EE434 ASIC & Digital Systems Testing

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

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

TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES

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

Metodologie di progetto HW Il test di circuiti digitali

Metodologie di progetto HW Il test di circuiti digitali

About the Instructor

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

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

Lecture 2 VLSI Testing Process and Equipment

VLSI System Testing. Fault Simulation

Design and Synthesis for Test

Design for Test of Digital Systems TDDC33

VLSI Test Technology and Reliability (ET4076)

IC Testing and Development in Semiconductor Area

CISC Processor Design

Lecture 3 - Fault Simulation

Chapter 9. Design for Testability

Testing Principle Verification Testing

Lecture 7 Fault Simulation

X(1) X. X(k) DFF PI1 FF PI2 PI3 PI1 FF PI2 PI3

International Journal of Digital Application & Contemporary research Website: (Volume 1, Issue 7, February 2013)

Program-Based Testing of Super-scalar Microprocessors

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

SoC Design Flow & Tools: SoC Testing

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

A Built-in Self-Test for System-on-Chip

7 DESIGN FOR TESTABILITY II: FROM HIGH LEVEL PERSPECTIVE

ANALYSIS OF ADDER USING BIST

Fault Simulation. Problem and Motivation

SSoCC'01 4/3/01. Specific BIST Architectures. Gert Jervan Embedded Systems Laboratory (ESLAB) Linköping University

Synchronization In Digital Systems

November 11, 2009 Chang Kim ( 김창식 )

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

Diagnostic Test Vectors for Combinational and Sequential

High Quality, Low Cost Test

Algorithm for Determining Most Qualified Nodes for Improvement in Testability

JTAG TAP CONTROLLER PROGRAMMING USING FPGA BOARD

Very Large Scale Integration (VLSI)

Software-Based Delay Fault Testing of Processor Cores

Open Architecture Software for OPENSTAR Test Platform

and self-repair for memories, and (iii) support for

Testable SOC Design. Sungho Kang

Impact of DFT Techniques on Wafer Probe

PAPER Delay Fault Testing of Processor Cores in Functional Mode

Digital Integrated Circuits

CISC Processor Design

Accessing On-chip Instruments Through the Life-time of Systems ERIK LARSSON

AUTONOMOUS RECONFIGURATION OF IP CORE UNITS USING BLRB ALGORITHM

Programovatelné obvody a SoC. PI-PSC

Embedded Quality for Test. Yervant Zorian LogicVision, Inc.

CHAPTER 1 INTRODUCTION

On Optimizing Test Cost for Wafer-to-Wafer 3D-Stacked ICs

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

Advanced Digital Logic Design EECS 303

A Research Paper on Designing a TAP(Test Access Port)

By choosing to view this document, you agree to all provisions of the copyright laws protecting it. (Go to next page to view the paper.

Hardware Software Codesign of Embedded Systems

Pipelined Processor Design

COE 561 Digital System Design & Synthesis Introduction

Hardware/Software Co-design

Digital Design Methodology

Testability Optimizations for A Time Multiplexed CPLD Implemented on Structured ASIC Technology

Hardware/Software Codesign

Diagnostic Test Set Minimization and Full-Response Fault Dictionary

CMOS Testing: Part 1. Outline

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

6 DESIGN FOR TESTABILITY I: FROM FULL SCAN TO PARTIAL SCAN

Introduction to System-on-Chip

Design Verification Lecture 01

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

ALGORITHM FOR POWER MINIMIZATION IN SCAN SEQUENTIAL CIRCUITS

Kee Sup Kim Samsung Electronics. ramework for Massively Parallel esting at Wafer and Package Test

Embedded Software-Based Self-Test for Programmable Core-Based Designs

01 1 Electronic Design Automation (EDA) the correctness, testability, and compliance of a design is checked by software

N-Model Tests for VLSI Circuits

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

Evolution of CAD Tools & Verilog HDL Definition

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

Complex test pattern generation for high speed fault diagnosis in Embedded SRAM

DFT-3D: What it means to Design For 3DIC Test? Sanjiv Taneja Vice President, R&D Silicon Realization Group

ASIC world. Start Specification Design Verification Layout Validation Finish

Improving Memory Repair by Selective Row Partitioning

Y. Tsiatouhas. VLSI Systems and Computer Architecture Lab. Embedded Core Testing (ΙΕΕΕ SECT std) 2

System-on-Chip Test Data Compression Based on Split-Data Variable Length (SDV) Code

Digital VLSI Testing Prof. Santanu Chattopadhyay Department of Electronics and EC Engineering India Institute of Technology, Kharagpur.

Hardware Design and Simulation for Verification

Bibliography. Measuring Software Reuse, Jeffrey S. Poulin, Addison-Wesley, Practical Software Reuse, Donald J. Reifer, Wiley, 1997.

Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation

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

Test/Repair Area Overhead Reduction for Small Embedded SRAMs

Implementation of FPGA for Decision Making for IC S Library

Overview ECE 753: FAULT-TOLERANT COMPUTING 1/23/2014. Recap. Introduction. Introduction (contd.) Introduction (contd.)

Optimal Clustering and Statistical Identification of Defective ICs using I DDQ Testing

Apache s Power Noise Simulation Technologies

ADVANCES IN ELECTRONIC TESTING CHALLENGES AND METHODOLOGIES. Edited by. DIMITRIS GIZOPOULOS University of Piraeus, Greece.

Transcription:

VLSI Testing Introduction Virendra Singh Indian Institute of Science Bangalore virendra@computer.org E0 286: Test & Verification of SoC Design Lecture - 1

Reading Material Text Book: M.L. Bushnell and V.D. Agrawal, Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits, Springer, 2005 Reference Books: 1. H. Fujiwara, Logic Testing and Design for Testability, MIT Press, 1985 2. M. Abramovici, M. Breuer, and A.D. Friedman, Digital System Testing and Testable Design, Jayco Pub., 2002 3. S. Mourad and Y. Zorian, Principles of Testing Electronic Systems, John Wiley, 2000 Journals: IEEE TC, TCAD, and TVLSI ACM TODAES Jan 16, 2008 E0-286@SERC 2

Acknowledgement Prof. Hideo Fujiwara, NAIST, Japan Prof. Kewal K. Saluja, Univ. of Wisconsin, USA Prof. Michiko Inoue, NAIST, Japan Prof. Vishwani D. Agrawal, Auburn Univ., USA Prof. Samiha Mourad, Santa Clara Univ., USA Prof. Erik Larsson, Linkoping Univ., Sweden Dr. Rubin Parekhji, TI, Bangalore Dr. Subir Roy, TI, Bangalore Jan 16, 2008 E0-286@SERC 3

VLSI Realization Process Customer s need Determine requirements Write specifications Design synthesis and Verification Test development Fabrication Manufacturing test Chips to customer Jan 16, 2008 E0-286@SERC 4

Definitions Design synthesis: Given an I/O function, develop a procedure to manufacture a device using known materials and processes. Verification: Predictive analysis to ensure that the synthesized design, when manufactured, will perform the given I/O function. Test: A manufacturing step that ensures that the physical device, manufactured from the synthesized design, has no manufacturing defect. Jan 16, 2008 E0-286@SERC 5

Verification vs. Test Verification Verifies correctness of design. Performed by simulation, hardware emulation, or formal methods. Performed once prior to manufacturing. Responsible for quality of design. Test Verifies correctness of manufactured hardware. Two-part process: 1. Test generation: software process executed once during design 2. Test application: electrical tests applied to hardware Test application performed on every manufactured device. Responsible for quality of devices. Jan 16, 2008 E0-286@SERC 6

Problems of Ideal Tests Ideal tests detect all defects produced in the manufacturing process. Ideal tests pass all functionally good devices. Very large numbers and varieties of possible defects need to be tested. Difficult to generate tests for some real defects. Defect-oriented testing is an open problem. Jan 16, 2008 E0-286@SERC 7

Real Tests Based on analyzable fault models, which may not map on real defects. Incomplete coverage of modeled faults due to high complexity. Some good chips are rejected. The fraction (or percentage) of such chips is called the yield loss. Some bad chips pass tests. The fraction (or percentage) of bad chips among all passing chips is called the defect level. Jan 16, 2008 E0-286@SERC 8

Testing as Filter Process Good chips Prob(good) = y Fabricated chips Defective chips Prob(bad) = 1- y Prob(pass test) = high Prob(fail test) = low Prob(pass test) = low Prob(fail test) = high Mostly good chips Tested chips Mostly bad chips Jan 16, 2008 E0-286@SERC 9

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. Jan 16, 2008 E0-286@SERC 10

Costs 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 Jan 16, 2008 E0-286@SERC 11

Design for Testability (DFT) DFT refers to hardware design styles or added hardware that reduces test generation complexity. Motivation: Test generation complexity increases exponentially with the size of the circuit. Primary inputs (PI) Test input Example: Test hardware applies tests to blocks A and B and to internal bus; avoids test generation for combined A and B blocks. Int. bus Logic block A Logic block B Primary outputs (PO) Test output Jan 16, 2008 E0-286@SERC 12

Testing Principle Jan 16, 2008 E0-286@SERC 13

ADVANTEST Model T6682 ATE Jan 16, 2008 E0-286@SERC 14

Cost of Manufacturing Testing 0.5-1.0GHz; analog instruments; 1,024 digital pins: ATE purchase price = $1.2M + 1,024 x $3,000 = $4.272M Running cost (five-year linear depreciation) = Depreciation + Maintenance + Operation = $0.854M + $0.085M + $0.5M = $1.439M/year Test cost (24 hour ATE operation) = $1.439M/(365 x 24 x 3,600) = 4.5 cents/second Jan 16, 2008 E0-286@SERC 15

Cost Analysis Graph Cost Analysis Graph 40,000 25,000 20,000 50k 100k 150k 100 Total cost 0 50 Fixed, Total and Variable Costs ($) Average Cost (cents) 0 Fixed cost Miles Driven Average cost Variable cost 0 200k Jan 16, 2008 E0-286@SERC 16

A Modern VLSI Device System-on-a-chip (SOC) Data terminal DSP core Interface logic RAM ROM Mixedsignal Codec Transmission medium Jan 16, 2008 E0-286@SERC 17