August 29, 2003Agrawal: VDAT'031 It is Sufficient to Test 25% of Faults Vishwani D. Agrawal Rutgers University, ECE Dept., Piscataway, NJ 08854, USA

Slides:

Advertisements

Similar presentations

An Algorithm for Diagnostic Fault Simulation Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama USA 13/29/2010IEEE LATW 10.

Advertisements

9-Oct-2002Prasad et al., ITC'021 A New Algorithm for Global Fault Collapsing into Equivalence and Dominance Sets A. V. S. S. Prasad Agere Systems, Bangalore.

1 A Random Access Scan Architecture to Reduce Hardware Overhead Anand S. Mudlapur Vishwani D. Agrawal Adit D. Singh 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.

Nov. 21, 2006ATS'06 1 Spectral RTL Test Generation for Gate-Level Stuck-at Faults Nitin Yogi and Vishwani D. Agrawal Auburn University, Department of ECE,

Partial Implications, etc.

3/30/05Agrawal: Implication Graphs1 Implication Graphs and Logic Testing Vishwani D. Agrawal James J. Danaher Professor Dept. of ECE, Auburn University.

Minimum Dynamic Power CMOS Circuit Design by a Reduced Constraint Set Linear Program Tezaswi Raja Vishwani Agrawal Michael L. Bushnell Rutgers University,

Jan. 29, 2002Gaur, et al.: DELTA'021 A New Transitive Closure Algorithm with Application to Redundancy Identification Vivek Gaur Avant! Corp., Fremont,

Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama /13/2010 NATW 10 1 A Diagnostic Test Generation System.

May 11, 2006High-Level Spectral ATPG1 High-Level Test Generation for Gate-level Fault Coverage Nitin Yogi and Vishwani D. Agrawal Auburn University Department.

Aug 23, ‘021Low-Power Design Minimum Dynamic Power Design of CMOS Circuits by Linear Program Using Reduced Constraint Set Vishwani D. Agrawal Agere Systems,

6/11/2015A Fault-Independent etc…1 A Fault-Independent Transitive Closure Algorithm for Redundancy Identification Vishal J. Mehta Kunal K. Dave Vishwani.

Aug 31, '02VDAT'02: Low-Power Design1 Minimum Dynamic Power Design of CMOS Circuits by Linear Program Using Reduced Constraint Set Tezaswi Raja, Rutgers.

Dominance Fault Collapsing - Alok Doshi ELEC 7250 Spring 2004.

August 12, 2005Uppalapati et al.: VDAT'051 Glitch-Free Design of Low Power ASICs Using Customized Resistive Feedthrough Cells 9th VLSI Design & Test Symposium.

Dec. 19, 2005ATS05: Agrawal and Doshi1 Concurrent Test Generation Auburn University, Department of Electrical and Computer Engineering Auburn, AL 36849,

Concurrent Test Generation Auburn University, Department of Electrical and Computer Engineering Auburn, AL 36849, USA Vishwani D. Agrawal Alok S. Doshi.

Aug 11, 2006Yogi/Agrawal: Spectral Functional ATPG1 Spectral Characterization of Functional Vectors for Gate-level Fault Coverage Tests Nitin Yogi and.

Sep. 30, 2003Agrawal: ITC'031 Fault Collapsing Via Functional Dominance Vishwani D. Agrawal Rutgers University, ECE Dept., Piscataway, NJ 08854, USA

6/17/2015Spectral Testing1 Spectral Testing of Digital Circuits An Embedded Tutorial Vishwani D. Agrawal Agere Systems Murray Hill, NJ 07974, USA

Hierarchical Fault Collapsing for Logic Circuits Thesis Advisor:Vishwani D. Agrawal Committee Members:Victor P. Nelson, Charles E. Stroud Dept. of ECE,

Jan. 9, 2007 VLSI Design Conference Spectral RTL Test Generation for Microprocessors Nitin Yogi and Vishwani D. Agrawal Auburn University Department.

Dec. 29, 2005Texas Instruments (India)1 Concurrent Test Generation Auburn University, Department of Electrical and Computer Engineering Auburn, AL 36849,

1 ITC-07 Paper /25/2007 Estimating Stuck Fault Coverage in Sequential Logic Using State Traversal and Entropy Analysis Soumitra Bose Design Technology,

1 Oct 24-26, 2006 ITC'06 Fault Coverage Estimation for Non-Random Functional Input Sequences Soumitra Bose Intel Corporation, Design Technology, Folsom,

10/25/2007 ITC-07 Paper Delay Fault Simulation with Bounded Gate Delay Model Soumitra Bose Design Technology, Intel Corp. Folsom, CA Hillary.

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.

May 28, 2003Minimum Dynamic Power CMOS1 Minimum Dynamic Power CMOS Circuits Vishwani D. Agrawal Rutgers University, Dept. of ECE Piscataway, NJ 08854

Spring 07, Mar 8 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Timing Verification and Optimization Vishwani D.

1 Fault Nodes in Implication Graph for Equivalence/Dominance Collapsing, and Identifying Untestable and Independent Faults R. Sethuram

Using Hierarchy in Design Automation: The Fault Collapsing Problem Raja K. K. R. Sandireddy Intel Corporation Hillsboro, OR 97124, USA

Independence Fault Collapsing

Using Contrapositive Law to Enhance Implication Graphs of Logic Circuits Kunal K Dave Master’s Thesis Electrical & Computer Engineering Rutgers University.

Exclusive Test and its Application to Fault Diagnosis Vishwani D. Agrawal Dong Hyun Baik Yong C. Kim Kewal K. Saluja Kewal K. Saluja.

Aug. 13, 2005Mudlapur et al.: VDAT'051 A Novel Random Access Scan Flip-Flop Design Anand S. Mudlapur Vishwani D. Agrawal (Speaker) Adit D. Singh Department.

Partial Scan Design with Guaranteed Combinational ATPG Vishwani D. Agrawal Agere Systems, Circuits and Systems Research Lab Murray Hill, NJ 07974, USA.

04/25/2006 ELEC 7250 Final Project: Jie Qin 1 Logic Simulator for Combinational Circuit Jie Qin Dept. of Electrical and Computer Engineering Auburn University,

Dominance Fault Collapsing Lu Yuanlin ECE Dept. Auburn University.

Using Hierarchy in Design Automation: The Fault Collapsing Problem Raja K. K. R. Sandireddy Intel Corporation Hillsboro, OR 97124, USA

May 13, 2005Sandireddy & Agrawal: Hierarchy in Fault Collapsing 1 Use of Hierarchy in Fault Collapsing Raja K. K. R. Sandireddy Intel Corporation Hillsboro,

Jan. 6, 2006VLSI Design '061 On the Size and Generation of Minimal N-Detection Tests Kalyana R. Kantipudi Vishwani D. Agrawal Department of Electrical.

Independence Fault Collapsing and Concurrent Test Generation Thesis Advisor: Vishwani D. Agrawal Committee Members: Victor P. Nelson, Charles E. Stroud.

Oct. 5, 2001Agrawal, Kim and Saluja1 Partial Scan Design With Guaranteed Combinational ATPG Vishwani D. Agrawal Agere Systems Processor Architectures and.

Dominance Fault Collapsing of Combinational Circuits By Kalpesh Shetye & Kapil Gore ELEC 7250, Spring 2004.

ECE 301 – Digital Electronics

Jan. 11, '02Kim, et al., VLSI Design'021 Mutiple Faults: Modeling, Simulation and Test Yong C. Kim University of Wisconsin, Dept. of ECE, Madison, WI 53706,

March 6, th Southeastern Symposium on System Theory1 Transition Delay Fault Testing of Microprocessors by Spectral Method Nitin Yogi and Vishwani.

Spring 2002EECS150 - Lec10-cl1 Page 1 EECS150 - Digital Design Lecture 10 - Combinational Logic Circuits Part 1 Feburary 26, 2002 John Wawrzynek.

Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies Kunal K. Dave ATI Research INC. Vishwani D. Agrawal Dept. of ECE, Auburn.

Diagnostic and Detection Fault Collapsing for Multiple Output Circuits Raja K. K. R. Sandireddy and Vishwani D. Agrawal Dept. Of Electrical and Computer.

Spring 08, Feb 6 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2008 Timing Verification and Optimization Vishwani D.

Lecture 9 Topics: –Combinational circuits Basic concepts Examples of typical combinational circuits –Half-adder –Full-adder –Ripple-Carry adder –Decoder.

April 3, 2003Agrawal: Fault Collapsing1 Hierarchical Fault Collapsing; Functional Equivalences and Dominances Vishwani D. Agrawal Rutgers University, Dept.

Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA

Spring C:160/55:132 Page 1 Lecture 19 - Computer Arithmetic March 30, 2004 Sukumar Ghosh.

Vishwani D. Agrawal Auburn University, Dept. of Elec. & Comp. Engg. Auburn, AL 36849, U.S.A. Nitin Yogi NVIDIA Corporation, Santa Clara, CA th.

Dominance Fault Collapsing 1 VLSI TESTING PROJECT Dominance Fault Collapsing Anandshankar Mudlapur Arun Balaji Kannan Muthu Balaji Ramkumar Muthu Balan.

High-Level Test Generation. Test Generation by Enhancing Validation Test Sets* * L. Lingappan, et al., VLSI Design, 2007 (Paper available on the class.

Combinational Circuit Design. Digital Circuits Combinational CircuitsSequential Circuits Output is determined by current values of inputs only. Output.

How does a Computer Add ? Logic Gates within chips: AND Gate A B Output OR Gate A B Output A B A B

Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA

July 10, th VLSI Design and Test Symposium1 BIST / Test-Decompressor Design using Combinational Test Spectrum Nitin Yogi Vishwani D. Agrawal Auburn.

Digital Decode & Correction Logic

ELEC Digital Logic Circuits Fall 2014 Logic Testing (Chapter 12)

Fault Collapsing via Functional Dominance

A Primal-Dual Solution to Minimal Test Generation Problem

ELEC Digital Logic Circuits Fall 2015 Logic Testing (Chapter 12)

Theorems on Redundancy Identification

A Random Access Scan Architecture to Reduce Hardware Overhead

Presentation transcript:

August 29, 2003Agrawal: VDAT'031 It is Sufficient to Test 25% of Faults Vishwani D. Agrawal Rutgers University, ECE Dept., Piscataway, NJ 08854, USA A. V. S. S. Prasad and Madhusudan V. Atre Agere Systems, Bangalore , India 7 th International Design & Test Workshops – VDAT’03 Bangalore, August 28-30, 2003

August 29, 2003Agrawal: VDAT'032 Test Vector Generation DUT Generate fault list Collapse fault list Generate test vectors Fault Model Required fault coverage

August 29, 2003Agrawal: VDAT'033 Definitions Given –T1 is set of all tests for fault F1 –T2 is set of all tests for fault F2 F1 dominates F2 F1 and F2 are equivalent T1 T2 T1=T2

August 29, 2003Agrawal: VDAT'034 Structural Equ. and Dom. Structural Equivalence Structural Dominance a b c a 0 a 1 b0b1b0b1 c 0 c 1 a b c a 0 a 1 b0b1b0b1 c 0 c 1

August 29, 2003Agrawal: VDAT'035 ISCAS’85 Circuits Circuit name Total faults Collapsed faults (collapse ratio) Equivalence*Dominance** C (0.65)16 (0.47) C (0.61)449 (0.52) C (0.76)706 (0.71) C (0.58)1210 (0.45) C (0.49)1566 (0.41) C (0.52)2318 (0.44) C (0.48)2794 (0.39) C (0.50)4500 (0.42) C (0.62)5824 (0.46) C (0.50)6134 (0.41) * Fastest, Gentest, Hitec, TetraMax **Fastest

August 29, 2003Agrawal: VDAT'036 Problem Statement Reduce the collapsed fault set below 40-60% level. Outline of method: –Use hierarchical fault collapsing (ITC’02) –Use functional dominance (ITC’03)

August 29, 2003Agrawal: VDAT'037 Functional Dominance f1f1 f0f0 f2f2 Always 0 f 1 f 2 f 0 + f 1 f 2 f 0 = 0 T1 T2

August 29, 2003Agrawal: VDAT'038 An Example a e c a 0 a 1 b0 b1b0 b1 c0 c1c0 c1 d f d 0 d 1 f0 f1f0 f1 e0e1e0e1 b Total faults = 12 Structural Equivalence collapsed faults = 8 Structural Dominance collapsed faults = 6 Three tests, {00,01,10}, cover all faults

August 29, 2003Agrawal: VDAT'039 AND Gate a b c a 0 a 1 b 0 b 1 c 0 c 1 a0a0 b0b0 c0c0 a1a1 b1b1 c1c1 a0a1b0b1c0c1a0a1b0b1c0c1 a0111a0111 a11a11 b0111b0111 b11b11 c0111c0111 c1111c1111 Dominance graph Dominance matrix

August 29, 2003Agrawal: VDAT'0310 OR Gate c0c0 d0d0 f0f0 c1c1 d1d1 f1f1 c0c1d0d1f0f1c0c1d0d1f0f1 c01c01 c1111c1111 d01d01 d1111d1111 f0111f0111 f1111f1111 Dominance graph Dominance matrix c d f c 0 c 1 d 0 d 1 f 0 f 1

August 29, 2003Agrawal: VDAT'0311 Fanout a e c a 0 a 1 b0 b1b0 b1 c 0 c 1 d f d0 d1d0 d1 f 0 f 1 e0e1e0e1 b b0b0 d0d0 e0e0 b1b1 d1d1 e1e1 e0e1b0b1d0d1e0e1b0b1d0d1 e01e01 e11e11 b01b01 b11b11 d01d01 d11d11 Dominance graph Dominance matrix

August 29, 2003Agrawal: VDAT'0312 Dominance matrix of Circuit a0a1b0b1c0c1a0a1b0b1c0c1 a0111a0111 a11a11 b0111b0111 b11b11 c0111c0111 c1111c1111 d0d1f0f1d0d1f0f d01d01 d111111d f01111f01111 f111111f e0e1e0e1 e0111e0111 e111111e Entries in black obtained from functional dominance expression.

August 29, 2003Agrawal: VDAT'0313 Transitive Closure of Dominance matrix a0a1b0b1c0c1a0a1b0b1c0c1 a0111a0111 a11a11 b0111b0111 b11b11 c0111c0111 c1111c1111 d0d1f0f1d0d1f0f d01d01 d d f f f f e0e1e0e1 e e e e Entries in orange are added in transitive closure.

August 29, 2003Agrawal: VDAT'0314 Dominance Fault Collapsing a0a1b0b1c0c1a0a1b0b1c0c1 a0111a0111 a11a11 b0111b0111 b11b11 c0111c0111 c1111c1111 d0d1f0f1d0d1f0f d01d01 d d f f f f e0e1e0e1 e e e e

August 29, 2003Agrawal: VDAT'0315 Dominance Collapsed Set a e c a 0 a 1 b0 b1b0 b1 c0 c1c0 c1 d f d0 d1d0 d1 f0 f1f0 f1 e0e1e0e1 b Total faults = 12 Structural Equivalence collapsed faults = 8 Structural Dominance collapsed faults = 6 Functional dominance collapsed faults = 4 Two tests, {01,10}, cover all faults

August 29, 2003Agrawal: VDAT' bit Ripple Carry Adder (RCA)

August 29, 2003Agrawal: VDAT'0317 XOR Cell a b c d e f g h i j k m c 0 c 1 d0d1d0d1 Functional Dom. examples: d 0 j 0, k 1 g 0

August 29, 2003Agrawal: VDAT'0318 Collapsed Dominance Matrix of XOR Cell a0a1b0b1c0c1d0d1m0m1a0a1b0b1c0c1d0d1m0m1 a0111a0111 a1111a1111 b0111b0111 b1111b1111 c01c01 c11c11 d01d01 d11d11 m0111m0111 m1111m x24 matrix is reduced to a 10x10 matrix. Inputs Output Collapsed faults

August 29, 2003Agrawal: VDAT'0319 Fault Collapsing Using Functional Dominance Circuit name All faults Number of collapsed faults Structural equivalence Functional dominance xor cell2416 (0.67)4 (0.17) Full-adder6038 (0.63)14 (0.23) 8-bit adder (0.62)112 (0.24) C499exp* (0.58)586 (0.22) * C499exp implements C1355 with XOR cells.

August 29, 2003Agrawal: VDAT'0320 Conclusion Functional dominances can be found for small cells and then applied via hierarchical collapsing to large circuits. With functional dominances, the number of faults for ATPG reduces to about 25%; usually gives smaller test set. Caution: fault coverage may not be correct when the collapsed fault set contains redundant faults; coverage may be evaluated for equivalence collapsed set. References: Prasad et al., ITC’02, pp ; Agrawal et al., ITC’03.