Scalable Test Pattern Generator Design Method for BIST Petr Fišer, Hana Kubátová Czech Technical University in Prague Faculty of Electrical Engineering.

Slides:



Advertisements
Similar presentations
New Ways of Generating Large Realistic Benchmarks for Testing Synthesis Tools Petr Fišer, Jan Schmidt Faculty of Information Technology Czech Technical.
Advertisements

Weighted Random and Transition Density Patterns for Scan-BIST Farhana Rashid* Vishwani D. Agrawal Auburn University ECE Department, Auburn, Alabama
An Algorithm for Diagnostic Fault Simulation Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama USA 13/29/2010IEEE LATW 10.
10/28/2009VLSI Design & Test Seminar1 Diagnostic Tests and Full- Response Fault Dictionary Vishwani D. Agrawal ECE Dept., Auburn University Auburn, AL.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
1 Dictionary-Less Defect Diagnosis as Surrogate Single Stuck-At Faults Chidambaram Alagappan Vishwani D. Agrawal Department of Electrical and Computer.
1 A Random Access Scan Architecture to Reduce Hardware Overhead Anand S. Mudlapur Vishwani D. Agrawal Adit D. Singh Department of Electrical and Computer.
Pseudorandom Testability – Study of the Effect of the Generator Type Petr Fišer, Hana Kubátová Czech Technical University in Prague Dept. of Computer Science.
On the Selection of Efficient Arithmetic Additive Test Pattern Generators S. Manich, L. García, L. Balado, E. Lupon, J. Rius, R. Rodriguez, J. Figueras.
Efficient Compression and Application of Deterministic Patterns in a Logic BIST Architecture Peter Wohl, John A. Waicukauski, Sanjay Patel, Minesh B. Amin.
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 21alt1 Lecture 21alt BIST -- Built-In Self-Test (Alternative to Lectures 25, 26 and 27) n Definition.
Nitin Yogi and Vishwani D. Agrawal Auburn University Auburn, AL 36849
A Diagnostic Test Generation System Yu Zhang Vishwani D. Agrawal Auburn University, Auburn, Alabama USA Nov. 3rdITC
May 11, 2006High-Level Spectral ATPG1 High-Level Test Generation for Gate-level Fault Coverage Nitin Yogi and Vishwani D. Agrawal Auburn University Department.
Design for Testability Theory and Practice Lecture 11: BIST
6/17/2015Spectral Testing1 Spectral Testing of Digital Circuits An Embedded Tutorial Vishwani D. Agrawal Agere Systems Murray Hill, NJ 07974, USA
An Arithmetic Structure for Test Data Horizontal Compression Marie-Lise FLOTTES, Regis POIRIER, Bruno ROUZEYRE Laboratoire d’Informatique, de Robotique.
Independence Fault Collapsing
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.
Comparison of LFSR and CA for BIST
Ugur Kalay, Marek Perkowski, Douglas Hall Universally Testable AND-EXOR Networks Portland State University Speaker: Alan Mishchenko.
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
TOPIC - BIST architectures I
BIST vs. ATPG.
1 AN EFFICIENT TEST-PATTERN RELAXATION TECHNIQUE FOR SYNCHRONOUS SEQUENTIAL CIRCUITS Khaled Abdul-Aziz Al-Utaibi
An Embedded Core DFT Scheme to Obtain Highly Compressed Test Sets Abhijit Jas, Kartik Mohanram, and Nur A. Touba Eighth Asian Test Symposium, (ATS.
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits Raja K. K. R. Sandireddy and Vishwani D. Agrawal Dept. Of Electrical and Computer.
Testimise projekteerimine: Labor 2 BIST Optimization
Constrained Evolutionary Optimization Yong Wang Associate Professor, PhD School of Information Science and Engineering, Central South University
MBSat Satisfiability Program and Heuristics Brief Overview VLSI Testing B Marc Boulé April 2001 McGill University Electrical and Computer Engineering.
Flexible Two-Level Boolean Minimizer BOOM ‑ II and Its Applications Petr Fišer, Hana Kubátová Department of Computer Science and Engineering Czech Technical.
A Test-Per-Clock LFSR Reseeding Algorithm for Concurrent Reduction on Test Sequence Length and Test Data Volume Adviser :蔡亮宙 Student ;蔡政宏.
Pseudo-Random Pattern Generator Design for Column ‑ Matching BIST Petr Fišer Czech Technical University Dept. of Computer Science and Engineering.
Muralidharan Venkatasubramanian Vishwani D. Agrawal
An Iterative Heuristic for State Justification in Sequential Automatic Test Pattern Generation Aiman H. El-MalehSadiq M. SaitSyed Z. Shazli Department.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Test pattern generator is BIST scan chains TESTGENERATOR COMPACOMPACCTTOORRCOMPACOMPACCTTOORRCTOR Control.
Boolean Minimizer FC-Min: Coverage Finding Process Petr Fišer, Hana Kubátová Czech Technical University Department of Computer Science and Engineering.
Reducing Test Application Time Through Test Data Mutation Encoding Sherief Reda and Alex Orailoglu Computer Science Engineering Dept. University of California,
1 Compacting Test Vector Sets via Strategic Use of Implications Kundan Nepal Electrical Engineering Bucknell University Lewisburg, PA Nuno Alves, Jennifer.
Two-Level Boolean Minimizer BOOM-II Petr Fišer, Hana Kubátová Department of Computer Science and Engineering Czech Technical University Karlovo nam. 13,
Vishwani D. Agrawal Auburn University, Dept. of Elec. & Comp. Engg. Auburn, AL 36849, U.S.A. Nitin Yogi NVIDIA Corporation, Santa Clara, CA th.
On Logic Synthesis of Conventionally Hard to Synthesize Circuits Using Genetic Programming Petr Fišer, Jan Schmidt Faculty of Information Technology, Czech.
Improving NoC-based Testing Through Compression Schemes Érika Cota 1 Julien Dalmasso 2 Marie-Lise Flottes 2 Bruno Rouzeyre 2 WNOC
Detecting Errors Using Multi-Cycle Invariance Information Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence,
Survey of the Algorithms in the Column-Matching BIST Method Survey of the Algorithms in the Column-Matching BIST Method Petr Fišer, Hana Kubátová Department.
Output Grouping Method Based on a Similarity of Boolean Functions Petr Fišer, Pavel Kubalík, Hana Kubátová Czech Technical University in Prague Department.
Mixed-Mode BIST Based on Column Matching Petr Fišer.
Technical University Tallinn, ESTONIA Copyright by Raimund Ubar 1 Raimund Ubar N.Mazurova, J.Smahtina, E.Orasson, J.Raik Tallinn Technical University.
A Test-Per-Clock LFSR Reseeding Algorithm for Concurrent Reduction on Test Sequence Length and Test Data Volume Wei-Cheng Lien 1, Kuen-Jong Lee 1 and Tong-Yu.
Output Grouping-Based Decomposition of Logic Functions Petr Fišer, Hana Kubátová Department of Computer Science and Engineering Czech Technical University.
Multiple-Vector Column-Matching BIST Design Method Petr Fišer, Hana Kubátová Department of Computer Science and Engineering Czech Technical University.
November 25Asian Test Symposium 2008, Nov 24-27, Sapporo, Japan1 Sequential Circuit BIST Synthesis using Spectrum and Noise from ATPG Patterns Nitin Yogi.
Power-aware NOC Reuse on the Testing of Core-based Systems* CSCE 932 Class Presentation by Xinwang Zhang April 26, 2007 * Erika Cota, et al., International.
POWER OPTIMIZATION IN RANDOM PATTERN GENERATOR By D.Girish Kumar 108W1D8007.
July 10, th VLSI Design and Test Symposium1 BIST / Test-Decompressor Design using Combinational Test Spectrum Nitin Yogi Vishwani D. Agrawal Auburn.
SINGLE-LEVEL PARTITIONING SUPPORT IN BOOM-II
VLSI Testing Lecture 14: Built-In Self-Test
Esam Ali Khan M.S. Thesis Defense
Sungho Kang Yonsei University
Aiman H. El-Maleh Sadiq M. Sait Syed Z. Shazli
MS Thesis Defense Presentation by Mustafa Imran Ali COE Department
Lecture 26 Logic BIST Architectures
Reseeding-based Test Set Embedding with Reduced Test Sequences
Mixed-Mode BIST Based on Column Matching
Test Data Compression for Scan-Based Testing
A Random Access Scan Architecture to Reduce Hardware Overhead
Fast Boolean Minimizer for Completely Specified Functions
Presentation transcript:

Scalable Test Pattern Generator Design Method for BIST Petr Fišer, Hana Kubátová Czech Technical University in Prague Faculty of Electrical Engineering Dept. of Computer Science & Engineering

LATW 2008, 17. – 20.2., Puebla2 Outline Motivation Proposed BIST scheme The Column-Matching algorithm Customizing the design process Experimental results Conclusions

LATW 2008, 17. – 20.2., Puebla3 Motivation Four important aspects in BIST: Fault coverage Test time BIST area overhead BIST design time

LATW 2008, 17. – 20.2., Puebla4 Motivation Different ASIC designers have different requirements for BIST Design the BIST equipment as fast as possible, regardless the area overhead and the fault coverage (no time to wait, the deadline is approaching!) Design the BIST equipment to be as small as possible, regardless the time it takes (low power) High fault coverage is the most important aspect, the area overhead is next. The design time is not that important (common practice)

LATW 2008, 17. – 20.2., Puebla5 Motivation We propose a method offering a big trade-off between all these criteria: Fault coverage Test time BIST area overhead BIST design time

LATW 2008, 17. – 20.2., Puebla6 Motivation We propose a method offering a big trade-off between all these criteria: Fault coverage Test time BIST area overhead BIST design time Given by ATPG 100% fault coverage will be considered

LATW 2008, 17. – 20.2., Puebla7 The Proposed BIST Mixed-Mode (Hybrid) BIST Two separated phases: pseudorandom and deterministic

LATW 2008, 17. – 20.2., Puebla8 The Decoder Design The Column-Matching method Deterministic BIST: LFSR produces pseudo-random code words (C-matrix) These are then transformed into deterministic tests computed by ATPG (T-matrix)

LATW 2008, 17. – 20.2., Puebla9 The Decoder Design The Column-Matching method – basic principles Try to reorder test patterns, so that most of the Decoder outputs will be implemented as wires – a Match This will be accomplished when two particular columns of the LFSR and test matrices will be equal Combinational logic – the order is insignificant Unmatched outputs have to by synthesized by a Boolean minimizer

LATW 2008, 17. – 20.2., Puebla10 The Decoder Design The Column-Matching method – example y0 = x0 y1 = x1 y2 = x2’ y3 = x1 y4 = x0’ + x1

LATW 2008, 17. – 20.2., Puebla11 Mixed-Mode BIST 1.Simulate several LFSR patterns 2.Determine undetected faults 3.Compute a test for them (ATPG) 4.Design a decoder generating vectors for this test and following LFSR patterns

LATW 2008, 17. – 20.2., Puebla12 Mixed-Mode BIST Column Matching

LATW 2008, 17. – 20.2., Puebla13 Mixed-Mode BIST Decoder Switch

LATW 2008, 17. – 20.2., Puebla14 Scaling the Lengths of the Phases Pseudorandom phase To detect easily detectable faults Deterministic phase To generate deterministic vectors Longer PR phaseLonger Det. phase BIST design timeDecreasedIncreased BIST area overheadDecreased BIST run lengthIncreased

LATW 2008, 17. – 20.2., Puebla15 Reducing the LFSR Width By weighted pattern testing 3-weight logic The weights are computed for RPRFs The LFSR inputs are AND-ed and OR-ed to produce weights

LATW 2008, 17. – 20.2., Puebla16 Reducing the LFSR Width ISCAS’89 s benchmark (700 inputs) LFSR (r)w. gatesDesign time [s]GEs 700 (no weights) (3 weights) (3 weights) (3 weights) (3 weights) (3 weights) (3 weights)365--

LATW 2008, 17. – 20.2., Puebla17 Experimental Results – Area Overhead Comparison Comparison with state-of-the-art methods. Equal test lengths, the area overhead is compared Compared with: Bit-Fixing [N.A. Touba, E.J. McCluskey: Bit-Fixing in Pseudorandom Sequences for Scan BIST, IEEE Transactions on CAD, Vol. 20, No. 4, April 2001, pp ] Weighted-pattern BIST [S. Wang: Low Hardware Overhead Scan Based 3-Weight Weighted Random BIST. Proc IEEE International Test Conference] Row Matching [M. Chatterjee, D.K. Pradhan: A BIST Pattern Generator Design for Near-Perfect Fault Coverage, IEEE Transactions on Computers, vol. 52, no. 12, December 2003, pp ] CM always better CM better in 71% CM better in 60%

LATW 2008, 17. – 20.2., Puebla18 Experimental Results Hard-to-test (and “big”) benchmarks BenchPR testabilityTest lengthTime [s]Overhead c M5 K43715 % c7552> 100 M10 K88716 % s M200 K35005 % s K50 K130.6 % s > 10 M100 K12005 % s38417> 10 M100 K % s > 1 G100 K341 % b125 M10 K10807 % b15> 100 M1 M %

LATW 2008, 17. – 20.2., Puebla19 Conclusions The Column-Matching principle proposed Influence of the lengths of the phases is studied Very scalable, many design parameters freely adjustable The results obtained by CM are mostly better (wrt. the area overhead) than those obtained by state-of-the-art methods The method should serve as a basic guideline how to design more complex BIST designs, i.e., the multiple ‑ scan chain based BIST, the STUMPS architecture, etc. It can be very advantageously used to test SoCs, since the LFSR may be reused for more cores.