Page 1EL/CCUT T.-C. Huang Apr. 2004 TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.

Slides:



Advertisements
Similar presentations
Automatic Test Generation and Logic Optimization.
Advertisements

Differential Amplifiers and Integrated Circuit (IC) Amplifiers
Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Design Representation and Fault Detection
Fault Equivalence Number of fault sites in a Boolean gate circuit is = #PI + #gates + # (fanout branches) Fault equivalence: Two faults f1.
1 Dictionary-Less Defect Diagnosis as Surrogate Single Stuck-At Faults Chidambaram Alagappan Vishwani D. Agrawal Department of Electrical and Computer.
1 Analyzing Reconvergent Fanouts in Gate Delay Fault Simulation Dept. of ECE, Auburn University Auburn, AL Hillary Grimes & Vishwani D. Agrawal.
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 2001, Agrawal & BushnellVLSI Test: Lecture 71 Lecture 7 Fault Simulation n Problem and motivation n Fault simulation algorithms n Serial n Parallel.
An Efficient Test Relaxation Technique for Synchronous Sequential Circuits Aiman El-Maleh and Khaled Al-Utaibi King Fahd University of Petroleum & Minerals.
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
Parallel Pattern Single Fault Propagation for Combinational Circuits VLSI Testing (ELEC 7250) Submitted by Blessil George, Jyothi Chimakurthy and Malinky.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4b1 Design for Testability Theory and Practice Lecture 4b: Fault Simulation n Problem and motivation.
Modern VLSI Design 2e: Chapter 4 Copyright  1998 Prentice Hall PTR Topics n Switch networks. n Combinational testing.
Dec. 19, 2005ATS05: Agrawal and Doshi1 Concurrent Test Generation Auburn University, Department of Electrical and Computer Engineering Auburn, AL 36849,
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 61 Design for Testability Theory and Practice Lecture 6: Combinational ATPG n ATPG problem n Example.
4/20/2006ELEC7250: Alexander 1 LOGIC SIMULATION AND FAULT DIAGNOSIS BY JINS DAVIS ALEXANDER ELEC 7250 PRESENTATION.
Lecture 5 Fault Simulation
Lecture 5 Fault Modeling
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.
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.
Spring 08, Mar 27 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Fault Simulation Vishwani D. Agrawal James J.
ELEC7250: VLSI Testing Spring 2004 Experimental Analysis of Fault Collapsing Methods Dixit, Ayoush M.
1 Reconvergent Fanout Analysis of Bounded Gate Delay Faults Dept. of ECE, Auburn University Auburn, AL Master’s Defense Hillary Grimes Thesis Advisor:
Prof. John Nestor ECE Department Lafayette College Easton, Pennsylvania ECE VLSI Circuit Design Lecture 14 - Testing.
Dominance Fault Collapsing of Combinational Circuits By Kalpesh Shetye & Kapil Gore ELEC 7250, Spring 2004.
ELEN 468 Lecture 231 ELEN 468 Advanced Logic Design Lecture 23 Testing.
黃錫瑜 Shi-Yu Huang National Tsing-Hua University, Taiwan Speeding Up Byzantine Fault Diagnosis Using Symbolic Simulation.
Technical University Tallinn, ESTONIA Overview: Fault Simulation Overview about methods Low (gate) level methods Parallel fault simulation Deductive fault.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Fault Modeling.
Introduction to IC Test
VLSI Testing Lecture 7: Combinational ATPG
TOPIC : Types of fault simulation
Modern VLSI Design 4e: Chapter 4 Copyright  2008 Wayne Wolf Topics n Switch networks. n Combinational testing.
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.
Unit I Testing and Fault Modelling
TESTING OF COMBINATIONAL LOGIC CIRCUITS
THE TESTING APPROACH FOR FPGA LOGIC CELLS E. Bareiša, V. Jusas, K. Motiejūnas, R. Šeinauskas Kaunas University of Technology LITHUANIA EWDTW'04.
Page 1EL/CCUT T.-C. Huang May 2004 TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
Page 1EL/CCUT T.-C. Huang Mar TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
6/5/2016 Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Fault Simulation.
Page 1EL/CCUT T.-C. Huang May 2004 TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
VTS 2012: Zhao-Agrawal1 Net Diagnosis using Stuck-at and Transition Fault Models Lixing Zhao* Vishwani D. Agrawal Department of Electrical and Computer.
Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA
Jing Ye 1,2, Yu Hu 1, and Xiaowei Li 1 1 Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences.
EE434 ASIC & Digital Systems Partha Pande School of EECS Washington State University
TOPIC : Introduction to Fault Simulation
An introduction to Fault Detection in Logic Circuits By Dr. Amin Danial Asham.
Logic Gates M. AL-Towaileb1. Introduction Boolean algebra is used to model the circuitry of electronic devices. Each input and each output of such a device.
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.
Page 1EL/CCUT T.-C. Huang Nov TCH CCUT Introduction to IC Design Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
Technical University Tallinn, ESTONIA Overview: Fault Simulation Overview about methods Low (gate) level methods Parallel fault simulation Deductive fault.
Page 1EL/CCUT T.-C. Huang May 2004 TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
TOPIC : Fault detection and fault redundancy UNIT 2 : Fault modeling Module 2.3 Fault redundancy and Fault collapsing.
Copyright 2001, Agrawal & BushnellLecture 6:Fault Simulation1 VLSI Testing Lecture 6: Fault Simulation Dr. Vishwani D. Agrawal James J. Danaher Professor.
Page 1EL/CCUT T.-C. Huang Apr TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech.
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.
Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA
VLSI Testing Lecture 6: Fault Simulation
Lecture 7 Fault Simulation
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
VLSI Testing Lecture 6: Fault Simulation
ELEC Digital Logic Circuits Fall 2014 Logic Testing (Chapter 12)
Lecture 5 Fault Modeling
Automatic Test Generation for Combinational Circuits
Fault Models, Fault Simulation and Test Generation
Automatic Test Pattern Generation
VLSI Testing Lecture 3: Fault Modeling
Sungho Kang Yonsei University
ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)
Presentation transcript:

Page 1EL/CCUT T.-C. Huang Apr TCH CCUT Introduction to IC Test Tsung-Chu Huang ( 黃宗柱 ) Department of Electronic Eng. Chong Chou Institute of Tech /04/05

Page 2EL/CCUT T.-C. Huang Apr TCH CCUT Syllabus & Chapter Precedence Introduction Modeling Logic SimulationFault Modeling Fault Simulation Testing for Single Stuck Faults Test Compression Built-In Self-Test Design for Testability (II)

Page 3EL/CCUT T.-C. Huang Apr TCH CCUT Single Stuck-Fault Model 1.Single Stuck Fault (SSF) model is also referred to as the classical or standard fault model. 2.Most physical defects can be mapped into SSFs. 3.Still popularly used in industry. 4.The fault universe of a circuits with G gates is about 2Gf, where f is the average fanout count.

Page 4EL/CCUT T.-C. Huang Apr TCH CCUT Local Structure Analysis 1.Simplified faulty circuit of circuit N with fault f, S(N f ), is defined as the remaining circuit by removing the stuck lines with a constant values. 2.f and g are structural equivalent  S(N f )=S(N g )  Functional eq. 3.Structural equivalence analysis can be done locally while global analysis required for functional equivalence. x y z w x y z w y z w

Page 5EL/CCUT T.-C. Huang Apr TCH CCUT Local Structure Analysis 1.When fanout n of a gate is more than 1, the output wire is called a stem with n branches. x y z branch stem Reconvergent Reconvergent fanout 2.Fanout-free region B A C D E F G H I J K L Hi Hj

Page 6EL/CCUT T.-C. Huang Apr TCH CCUT Fanout-free Combinational Circuits 1.In a fanout-free combinational circuit C, any test set that detects all SSFs on the PIs of C detects all SSFs in C. z 2.In a combinational circuit C, any test set that detect all SSFs on the PIs & the fanout branches of C detects all SSFs in C. The Primary Inputs (PIs) and the Fanout Branches (FBs) are called checkpoints (CPs). 3.The dominance fault collapsing reduces the number of faults dealt with from 2w to 2(I+  b i ) (where w, I, b i are counts of wires, PIs and branches of the ith fanout).

Page 7EL/CCUT T.-C. Huang Apr TCH CCUT Example 1.C17 in ISCAS85 benchmark: L E J B A C D HiHi HjHj F H I G K GiGi GjGj CiCi CjCj Levelization w=18, I=5, b 1 =2, b 2 =2, b 3 =2 E J B A C D HiHi HjHj F H I G K GiGi GjGj CiCi CjCj Checkpoints:

Page 8EL/CCUT T.-C. Huang Apr TCH CCUT Homework 3 1.List all SSFs of C17 in ISCAS85 benchmark. E.g., A0 means the stuck-at-0 fault at wire A. 2.Collapse faults by following >dominated_falult, and =equivalent_fault, and circle the kept faults. 3.List all checkpoints and the associated faults. 4.Do the deductive fault simulation for t=(10110) considering only the faults at checkpoints. 5.Find FC and TE based on the total faults before collapsing. E J B A C D HiHi HjHj F H I G K GiGi GjGj CiCi CjCj

Page 9EL/CCUT T.-C. Huang Apr TCH CCUT Syllabus & Chapter Precedence Introduction Modeling Logic SimulationFault Modeling Fault Simulation Testing for Single Stuck Faults Test Compression Built-In Self-Test Design for Testability (I)

Page 10EL/CCUT T.-C. Huang Apr TCH CCUT Applications 1.Evaluate (grade) a test (set) T. 2.Fault Dropping for Test Generation. 3.Construct fault dictionaries before testing for test compaction 4.Construct fault dictionaries for Post-test Diagnosis. 5.Analyze the operation of a circuit in the presence of the faults.

Page 11EL/CCUT T.-C. Huang Apr TCH CCUT Defect Coverage Experience has shown that a test with high Fault Converage (FC) for SSFs also achieve a high DC. Defect Level (DL) is defined as the probability of shipping a defective product.

Page 12EL/CCUT T.-C. Huang Apr TCH CCUT Defect Coverage Yield (Y) is defined as the probability that a manufactured circuit is defect-free. One model gives DL=1-Y 1-d.

Page 13EL/CCUT T.-C. Huang Apr TCH CCUT Example 1.Consider all SSFs before collapsing, assume there are faults and 2000 faults are redundant. Test set T1 can detect 8000 non-redundant faults while T2 can detect only 7200 non-redundant faults. Find their fault coverage (FC) and test efficiency (TE, test coverage for some tools)? Ans. FC(T1)=8000/10000= 80% FC(T2)=7200/10000= 72% TE(T1)= 8000/ 8000=100% TE(T2)= 7200/ 8000= 90%

Page 14EL/CCUT T.-C. Huang Apr TCH CCUT Fault Dropping by Fault Simulation Fault Selection Test Generation Fault Simulation Fault Dropping TE enough? Done No

Page 15EL/CCUT T.-C. Huang Apr TCH CCUT Classification of Fault Simulations 1.Serial Simulate one fault at a time. 2.Parallel Simulate W (>1) faults at a time. 3.Deductive Simulate the good circuit and deduces the behavior of all faulty circuits. 4.Concurrent Simulate only elements that are different from the corresponding ones.

Page 16EL/CCUT T.-C. Huang Apr TCH CCUT Serial Fault Simulations 1.Simplest and able to handle of any type of faults. Combinational Network N Faulty Network N f with a fault f

Page 17EL/CCUT T.-C. Huang Apr TCH CCUT Tasks of Fault Simulations 1.Fault Specification Fault modeling and definition Fault collapsing 2.Fault Insertion Fault selection and creation in internal data structure 3.Fault Propagation Occupy most work to propagate the effects. 4.Fault Detection & Discarding Voltage or current signal; analog allowance or digital values. A fault detect k times should be discarded, usually k=1.

Page 18EL/CCUT T.-C. Huang Apr TCH CCUT Parallel Simulation 1.Parallel-Fault Fault Simulation: A good circuit and W independent faulty circuits are simultaneously simulated for ┌ (F+1)/W┐ passes. 2.Parallel-Pattern Simulation: E.g., a 32-bit integer is early used for one bit in serial simulation and 32 bits in PPFP. 3.PPSFP for SSFs i =0 or bits required for 3-value or 4-value logic, say {0, 1, u} and {0, 1, D, D’}. (where D=good1/faulty0=↓=s-a-0) 4.Parallel-Pattern Fault Simulation: E.g., a 32-bit integer is early used for one bit in serial simulation and 32 bits in PPFP.

Page 19EL/CCUT T.-C. Huang Apr TCH CCUT Deductive Fault Simulation 1.Fault List at wire i: the set of all faults that cause the values of I in N and N f to be different at the current simulated time. 2.Memory for a G-wire circuit with F faults: G(F+1) ~ O(G 2 ). 3. For a gate Z with controlling value c and inversion i: 4.A simple example of Fault-List Propagation: F C A B E 1 1 A0 B0 A0, B0, E0 0 C1 1 A0, B0, E0, F0 1 L E =L A U L B U {E0}L F ={L E - L C } U {F0}

Page 20EL/CCUT T.-C. Huang Apr TCH CCUT Concurrent Fault Simulation 1.Similar to Deductive Fault Simulation but it maintains larger fault list for convenience of executing a Fault-List Event Driven Simulation. 2.A concurrent simulator processes only the active faulty circuits. 3.The main disadvantage of concurrent simulation is that it requires more memory than the other methods.