Mixed-Mode BIST Based on Column Matching

Slides:



Advertisements
Similar presentations
Weighted Random and Transition Density Patterns for Scan-BIST Farhana Rashid* Vishwani D. Agrawal Auburn University ECE Department, Auburn, Alabama
Advertisements

Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
NCHUCS1 Scan Chain Reorder Sying-Jyan Wang Department of Computer Science National Chung-Hsing University.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
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.
Scalable Test Pattern Generator Design Method for BIST Petr Fišer, Hana Kubátová Czech Technical University in Prague Faculty of Electrical Engineering.
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
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
Jan. 9, 2007 VLSI Design Conference Spectral RTL Test Generation for Microprocessors Nitin Yogi and Vishwani D. Agrawal Auburn University 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.
Dominance Fault Collapsing of Combinational Circuits By Kalpesh Shetye & Kapil Gore ELEC 7250, Spring 2004.
March 6, th Southeastern Symposium on System Theory1 Transition Delay Fault Testing of Microprocessors by Spectral Method Nitin Yogi and Vishwani.
An Embedded Core DFT Scheme to Obtain Highly Compressed Test Sets Abhijit Jas, Kartik Mohanram, and Nur A. Touba Eighth Asian Test Symposium, (ATS.
Technical University Tallinn, ESTONIA Overview: Fault Simulation Overview about methods Low (gate) level methods Parallel fault simulation Deductive fault.
Testimise projekteerimine: Labor 2 BIST Optimization
1 Fitting ATE Channels with Scan Chains: a Comparison between a Test Data Compression Technique and Serial Loading of Scan Chains LIRMM CNRS / University.
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
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Test pattern generator is BIST scan chains TESTGENERATOR COMPACOMPACCTTOORRCOMPACOMPACCTTOORRCTOR Control.
December, 2004 Ecole Polytechnique 1 Deterministic BIST By Amiri Amir Mohammad Professor Dr. Abdelhakim Khouas Project Presentation for ELE6306 (Test des.
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,
Two-Level Boolean Minimizer BOOM-II Petr Fišer, Hana Kubátová Department of Computer Science and Engineering Czech Technical University Karlovo nam. 13,
Weikang Qian. Outline Intersection Pattern and the Problem Motivation Solution 2.
Vishwani D. Agrawal Auburn University, Dept. of Elec. & Comp. Engg. Auburn, AL 36849, U.S.A. Nitin Yogi NVIDIA Corporation, Santa Clara, CA th.
CAS 721 Course Project Minimum Weighted Clique Cover of Test Set By Wei He ( )
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.
Arithmetic Test Pattern Generation: A Bit Level Formulation of the Optimization Problem S. Manich, L. García and J. Figueras.
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.
Built-In Self Test (BIST).  1. Introduction  2. Pattern Generation  3. Signature Analysis  4. BIST Architectures  5. Summary Outline.
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.
ELEC 7950 – VLSI Design and Test Seminar
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.
Speaker: Nansen Huang VLSI Design and Test Seminar (ELEC ) March 9, 2016 Simulation-Based Equivalence Checking.
Finite state machine optimization
Finite state machine optimization
L. Benini, G. DeMicheli Stanford University, USA A. Macii, E. Macii, M
SINGLE-LEVEL PARTITIONING SUPPORT IN BOOM-II
Hardware Testing and Designing for Testability
VLSI Testing Lecture 6: Fault Simulation
Algorithms and representations Structural vs. functional test
VLSI Testing Lecture 14: Built-In Self-Test
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
VLSI Testing Lecture 6: Fault Simulation
VLSI Testing Lecture 7: Combinational ATPG
Muralidharan Venkatasubramanian Ph. D Proposal Exam Chair
Overview: Fault Diagnosis
Design of benchmark circuit s5378 for reduced scan mode activity
Fault Models, Fault Simulation and Test Generation
VLSI Testing Lecture 7: Combinational ATPG
Sungho Kang Yonsei University
Aiman H. El-Maleh Sadiq M. Sait Syed Z. Shazli
Automatic Test Pattern Generation
Lecture 26 Logic BIST Architectures
Reseeding-based Test Set Embedding with Reduced Test Sequences
Test Data Compression for Scan-Based Testing
Presentation transcript:

Mixed-Mode BIST Based on Column Matching Petr Fišer

Outline Introduction to BIST State-of-the-art Methods Mixed-Mode BIST Column-Matching Method Experimental Results A Summary of That Everything Conclusions What Could Be Done Yet

Introduction to BIST The BIST Structure Generate test patterns Apply the patterns to the circuit Evaluate the response

Present BIST Method Mixed-Mode BIST Combination of pseudo-random and deterministic BIST The easy-to-detect faults are detected by pseudo-random patterns Some patterns are generated deterministically, to detect the hard-to-detect faults

State-of-the-art Methods Reseeding The pseudo-random test patterns are generated by LFSR, more LFSR seeds are applied Weighted Pattern BIST Change the probability of occurrence of 1s and 0s in the PR sequence Bit-Fixing, Bit-Flipping, Row-matching Modify the PR patterns by additional logic

Mixed-Mode BIST Combination of pseudo-random and deterministic BIST Two disjoint phases Simple control logic Simple design process

Column-Matching LFSR produces code words These have to be transformed into deterministic patterns (computed by ATPG) => Output Decoder

Column-Matching Basic Principle Try to reorder test patterns, so that most of the Decoder outputs will be implemented as wires – A Column Match This will be accomplished when the particular columns of the LFSR and test matrix will be equal Direct match – even the Switch logic is eliminated

Column-Matching Example y0 = x4’ + x1 y1 = x3’ y2 = x2 x3’ + x2’ x4’

Mixed-Mode Column-Matching Simulate first n LFSR patterns Determine undetected faults Compute a test for them (ATPG) Design the Decoder producing test from LFSR patterns > n

Mixed-Mode Column-Matching Example

Mixed-Mode Column-Matching Example

Experimental Results Column-matching Bit-fixing Row-matching Bench TL GEs c880 1 K 10.5 27 21 c1355 2 K 15 3 K 11 c1908 7.5 4 K 12 4.5 K 8 c2670 5 K 172 121 119 c3540 13 4 c7552 8 K 586 10 K 186 297 s420 24.5 28 - s641 6 s713 16.5 s838 6 K 130 37 s1196 36

Experimental Results Bench inps 100% FC TL (PR + Det.) M DM Overhead Time [s] c2670 233 2.4 M 1 K + 1 K 193 173 19 % 166 c7552 207 > 100 M 7 K + 1 K 131 33 500 s420 34 165 K 3 K + 1 K 35 21 11 % 0.41 s641 54 200 K 44 6 % 0.21 s713 300 K 42 5 % 0.32 s838 67 37 13 32 % 26.20 s1196 32 9 K + 1 K 28 1 % 0.04 s5378 214 80 K 20 K + 1 K 205 0.98 s9234 247 10 M 50 K + 1 K 208 138 8 % 350 s13207.1 700 100 K 10 K + 1 K 696 137 s15850.1 611 > 10 M 478 346 9 % 812 s38417 1664 100 K + 2 K 1503 834 17 K s38584.1 1464 > 1 G 100 K + 1 K 1354 b07 50 0.5 b12 126 5 M 118 104 7 % 25 b14 277 100 M / 1 K 90 58 56 % b15 485 1 M / 2 K 263 158 44 % 65 K

What Has Not Been Said Here Yet Well, there were more problems that had to be solved: How to choose the lengths of the phases How to improve the fault coverage in the pseudo-random phase How to generate test vectors. Or better - what vectors to generate How to choose the columns to be matched How to find out if a particular column match is possible to be done How to synthesize the Decoder logic

How to choose the lengths of the phases Some trade-off has to be found The PR-phase length influences fault coverage achieved  number of undetected faults  number of deterministic vectors to be generated The Deterministic phase length influences the design time and BIST area overhead Fišer, P. - Kubátová, H.: Influence of the Test Lengths on Area Overhead in Mixed-Mode BIST, Proc. 9th Biennial Baltic Electronics Conference (BEC'04), Tallinn (Estonia), 3.-6.10.2004, pp. 201-204

How to improve the fault coverage in the pseudo-random phase What LFSR polynomial and seed to choose? Or a CA? Or to modify the patterns somehow? Fišer, P. - Kubátová, H.: Pseudorandom Testability - Study of the Effect of the Generator Type, ECI'04, Herľany, SR, 22.-24.9.04, pp. 200-205 Fišer, P. - Kubátová, H.: Improvement of the Fault Coverage of the Pseudo-Random Phase in Column Matching BIST, Proc. 31th Euromicro Symposium on Digital Systems Design (DSD'05), Porto, (Portugal), 30.8. - 3.9.05, pp. 56-63 Fišer, P. - Kubátová, H.: Pseudorandom Testability - Study of the Effect of the Generator Type, Acta Polytechnica, Vol. 2, August 2005, CVUT, ISSN 1210-2709, pp. 47-54

How to generate test vectors. Or better - what vectors to generate It’s better to generate deterministic vectors having many don’t cares And moreover – we can improve the result by generating more vectors per one fault. It costs time, but the area overhead is smaller Well, it’s already done, there are positive results, but no publication yet.

How to choose the columns to be matched NP-hard Heuristic methods have to be used Fast-search and Thorough-search methods proposed Fišer, P. - Kubátová, H.: Survey of the Algorithms in the Column-Matching BIST Method, Proc. 10th International On-Line Testing Symposium 2004 (IOLTS'04), Madeira, Portugal, 12.-14.7.2004, pp. 181

How to find out if a particular column match is possible to be done NP-C, if don’t cares are present in the test B-Matrix based approach Fišer, P. - Hlavička, J. - Kubátová, H.: Column-Matching BIST Exploiting Test Don't-Cares. Proc. 8th IEEE Europian Test Workshop (ETW'03), Maastricht (The Netherlands), 25.-28.5.2003, pp. 215-216

How to synthesize the Decoder logic Two-level Boolean minimizer required BOOM, FC-Min, BOOM-II developed Hlavička, J. - Fišer, P.: BOOM - a Heuristic Boolean Minimizer. Proc. International Conference on Computer-Aided Design ICCAD 2001, San Jose, California (USA), 4.-8.11.2001, pp. 439-442 Fišer, P. - Hlavička, J. - Kubátová, H.: FC-Min: A Fast Multi-Output Boolean Minimizer, Proc. 29th Euromicro Symposium on Digital Systems Design (DSD'03), Antalya (TR), 1.-6.9.2003, pp. 451-454 Fišer, P. - Hlavička, J.: BOOM - A Heuristic Boolean Minimizer, Computers and Informatics, Vol. 22, 2003, No. 1, pp. 19-51 Fišer, P. - Kubátová, H.: Two-Level Boolean Minimizer BOOM-II, Proc. 6th Int. Workshop on Boolean Problems (IWSBP'04), Freiberg, Germany, 23.-24.9.2004, pp. 221-228 … and more

Conclusions Column-matching-based mixed-mode BIST method has been presented Pseudo-random LFSR patterns are being transformed into deterministic vectors generated by ATPG by the Decoder We try to match as many of the Decoder outputs as possible with its inputs, which yields no logic necessary to implement these outputs Mixed-mode – two disjoint BIST phases introduced Many more “minor” problems involved

What Could Be Done Yet Adjust the width of a PRPG More sophisticated methods should be found, to find a proper PRPG Incorporate the ATPG into the design process – iterative test computation Test-per-scan support Partitioning of the CUT Combine CM-BIST with other methods