Test Data Compression for Scan-Based Testing

Slides:



Advertisements
Similar presentations
V. Vaithianathan, AP/ECE
Advertisements

Retiming Scan Circuit To Eliminate Timing Penalty
Copyright 2001, Agrawal & BushnellLecture 12: DFT and Scan1 VLSI Testing Lecture 10: DFT and Scan n Definitions n Ad-hoc methods n Scan design  Design.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
Copyright 2005, Agrawal & BushnellVLSI Test: Lecture 21alt1 Lecture 21alt BIST -- Built-In Self-Test (Alternative to Lectures 25, 26 and 27) n Definition.
Aiman El-Maleh, Ali Alsuwaiyan King Fahd University of Petroleum & Minerals, Dept. of Computer Eng., Saudi Arabia Aiman El-Maleh, Ali Alsuwaiyan King Fahd.
An Efficient Test Relaxation Technique for Synchronous Sequential Circuits Aiman El-Maleh and Khaled Al-Utaibi King Fahd University of Petroleum & Minerals.
X-Compaction Itamar Feldman. Before we begin… Let’s talk about some DFT history: Design For Testability (DFT) has been around since the 1960s. The technology.
Design for Testability Theory and Practice Lecture 11: BIST
An Arithmetic Structure for Test Data Horizontal Compression Marie-Lise FLOTTES, Regis POIRIER, Bruno ROUZEYRE Laboratoire d’Informatique, de Robotique.
October 8, th Asian Test Symposium 2007, Biejing, China XXXXX00XXX XX000101XXXXXXXXXXXXX0XXX1X0 101XXX1011XXXXXX0XXX XX000101XXXXXXXXXXXXX0XXX1XX.
Fall 2006, Nov. 30 ELEC / Lecture 12 1 ELEC / (Fall 2006) Low-Power Design of Electronic Circuits Test Power Vishwani D.
A Hybrid Test Compression Technique for Efficient Testing of Systems-on-a-Chip Aiman El-Maleh King Fahd University of Petroleum & Minerals, Dept. of Computer.
© 2009 Pearson Education, Upper Saddle River, NJ All Rights ReservedFloyd, Digital Fundamentals, 10 th ed Digital Fundamentals Tenth Edition Floyd.
A Geometric-Primitives-Based Compression Scheme for Testing Systems-on-a-Chip Aiman El-Maleh 1, Saif al Zahir 2, Esam Khan 1 1 King Fahd University of.
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
Design for Testability
EE141 VLSI Test Principles and Architectures Ch. 6 - Test Compression – P. 1 1 Chapter 6 Test Compression.
Testimise projekteerimine: Labor 2 BIST Optimization
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2.
Pseudo-Random Pattern Generator Design for Column ‑ Matching BIST Petr Fišer Czech Technical University Dept. of Computer Science and Engineering.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Reducing Test Application Time Through Test Data Mutation Encoding Sherief Reda and Alex Orailoglu Computer Science Engineering Dept. University of California,
Integrated Test Data Compression and Core Wrapper Design for Low-Cost System-on-a-Chip Testing Paul Theo Gonciari Bashir Al-Hashimi Electronic Systems.
By Praveen Venkataramani
CAS 721 Course Project Minimum Weighted Clique Cover of Test Set By Wei He ( )
Improving NoC-based Testing Through Compression Schemes Érika Cota 1 Julien Dalmasso 2 Marie-Lise Flottes 2 Bruno Rouzeyre 2 WNOC
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
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.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
EE3A1 Computer Hardware and Digital Design Lecture 13 Detecting faults in Digital Systems.
EKT124 Digital Electronics 1 Introduction to Digital Electronics
Finite state machine optimization
Finite state machine optimization
Hardware Testing and Designing for Testability
KU College of Engineering Elec 204: Digital Systems Design
Chapter III Desktop Imaging Systems & Issues
Test Sequence Length Requirements for Scan-based Testing
VLSI Testing Lecture 14: Built-In Self-Test
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 2)
Maintaining Data Integrity in Programmable Logic in Atmospheric Environments through Error Detection Joel Seely Technical Marketing Manager Military &
CPE/EE 428/528 VLSI Design II – Intro to Testing (Part 3)
ECE 434 Advanced Digital System L18
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
Definition Partial-scan architecture Historical background
Lecture 13 Sequential Circuit ATPG Time-Frame Expansion
Lecture 10 Sequential Circuit ATPG Time-Frame Expansion
Interfacing Memory Interfacing.
Basics Combinational Circuits Sequential Circuits Ahmad Jawdat
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Pattern Compression for Multiple Fault Models
Design for Testability
Design of benchmark circuit s5378 for reduced scan mode activity
VLSI Testing Lecture 8: Sequential ATPG
Computer Architecture and Organization: L02: Logic design Review
Esam Ali Khan M.S. Thesis Defense
Digital Fundamentals Floyd Chapter 1 Tenth Edition
Sungho Kang Yonsei University
Design for Testability
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
Digital Electronics and Logic Circuit
CSE 370 – Winter Sequential Logic-2 - 1
Presentation transcript:

Test Data Compression for Scan-Based Testing Presented by Mustafa Imran Ali Research Assistant COE

COE 599 Seminar Presentation Presentation Outline Issue/Motivation Necessary Background Existing Approaches Proposed Approach Thursday, May 30, 2019 COE 599 Seminar Presentation

The Issue: Test Data Volume Exhaustive IC chip testing after manufacture is critical to ensure product quality Full Scan based IC testing using Automatic Test Equipment (ATE) the most widely used approach test data volume  IC complexity A typical SoC ASIC may require 2.5 Gbits of test data manufacturing costs  test data volume ATE memory capacity & test application time dictate cost “Hence the need for reducing IC test data volume” Thursday, May 30, 2019 COE 599 Seminar Presentation

Digital Testing Basics open Logical Modeling of Faults Structural Faults  Single Stuck-Fault Model Faults List Test Generation Process – determining test stimuli Automatic Test Pattern/Vector Generation (CAD) Fault Coverage Percentage stuck-at Apply input and observe if the output matches the expected one or not - easily applicable to combinational circuits Sequential circuits have many internal “states” and need a “set of values” to be applied before the fault reaches the final output Not all faults are easy to detect Solution: Scan-based testing Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Continued… Combinational vs. Sequential Circuits Combinational Circuits A fault detected by a single input vector 100% fault coverage easy Sequential Circuits An ordered sequence of vectors required per fault 100% faulty coverage hard! Thursday, May 30, 2019 COE 599 Seminar Presentation

What is Scan-Based Testing? Converts sequential circuit test generation problem into a combinational circuit test! Guarantees 100% fault coverage Internal flip-flop values (state) can be set and read (or ‘scanned in’ and ‘ scanned out’) NO need for sequence of vectors to detect a fault! Test vectors can be applied in any sequence Each test vector is independent of others (allows reordering) Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation How Does it Work? Scan data is serially shifted in and out when device is in test mode Circuit Under Test (CUT) Primary Outputs Primary Inputs Test Mode Select Scan Data In Scan Data Out Clock Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Continued… Thursday, May 30, 2019 COE 599 Seminar Presentation

Test data volume problem Test data volume can be calculated as: Test data volume ≈ scan cells × scan patterns Number of scan cells and scan patterns are related to complexity of designs 10M gates, 1 scan cell/20 gates  0.5M scan cells System-on-a-Chip designs require a large number of patterns to test each individual core e.g. up to 10,000 patterns Multiple scan-chains: can reduce test application time but not test data volume Pins limitations still limit maximum scan inputs feasible Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation ATE Limitations Both requirements growing rapidly test data storage, and test data bandwidth requirements between the tester and chip ATE capability cannot scale indefinitely for increasingly complex IC designs New testers with more memory, channels, and higher speed of operation not a good solution the cost of a high-speed tester will exceed $20 million by 2010 (ITRS Annual Report) Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Solutions! Eliminate the costly ATE! Use BIST Built-in-Self-Testing generate test patterns on chip Use Test Resource Partitioning (TRP) Solutions to ease burden on ATE some hardware added on-chip, working in conjunction with external tester helps reduce the test data and/or the test application time Thursday, May 30, 2019 COE 599 Seminar Presentation

Built-In-Self-Testing (BIST) Uses on-chip test pattern generation Linear Feedback Shift Registers (LFSRs) Limitations! Random Pattern Resistant Faults Fault coverage is less than 100% Very long test sequences required Cores have to be BIST-ready Solution: Mixed-mode BIST Uses external testing + BIST Lots of ongoing work in this area! Thursday, May 30, 2019 COE 599 Seminar Presentation

TRP: Using on-chip decompression Test sets contain a large number of don’t care values Up to 98% bits can be don’t cares in industrial circuits Approaches based on various compression encodings Run-length encoding Statistical coding Golomb coding Runlength + Huffman coding Arithmetic coding Dictionary based compression (LZ77, LZW) Approaches based on LFSR seeding LFSR used to generate scan chains Different seeds values used for different test vectors Thursday, May 30, 2019 COE 599 Seminar Presentation

Compression using codes Usually built on top of run-length encoding Don’t care values are specified to maximize compression Maximizing runs of ‘1’s and ‘0’s Further compression achieved by encoding run values using variable length codes such as Huffman coding Some schemes operate on set of difference vectors instead of original test set Difference vector contain fewer 1s Thursday, May 30, 2019 COE 599 Seminar Presentation

Compression Code Examples Thursday, May 30, 2019 COE 599 Seminar Presentation

LFSR Reseeding based Approaches LFSR is run in autonomous mode to fill scan chain with the test vector LFSR seed is the starting state of an LFSR Idea: compute a set of seeds that when expanded by LFSR will produce the test vectors Different LFSR seeds will produce different test vectors Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Continued… The set of seeds are stored on the tester transferred to the LFSR one at a time seeds much smaller than the full test vectors LFSR size depends upon max. don’t cares/vector Thursday, May 30, 2019 COE 599 Seminar Presentation

(Scan) Inputs Width Compression Idea: driving multiple scan inputs with the same data values only the common input data need to stored Such inputs are grouped into a ‘compatible class’ Different types of compatibility have been identified Direct Inverse Combinational Compression Ratio = #external chains / #internal chains Thursday, May 30, 2019 COE 599 Seminar Presentation

Example: Using Direct Compatibility Test Vector 1 Test Vector 2 Test Vector 3 Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Continued… Thursday, May 30, 2019 COE 599 Seminar Presentation

Logic (Combinational) Compatibility Thursday, May 30, 2019 COE 599 Seminar Presentation

Example: Adding Logic Compatibility Thursday, May 30, 2019 COE 599 Seminar Presentation

Proposed Scheme: Few Observations Extent of compatibility depends on specified bits per scan vector lesser the specified bits, the lesser the conflicts, resulting in greater compatibility the longer the chains, the lesser the compatibility Compatibility analysis per vector gives a lower bound on achievable reduction Compatibility will increase as don’t care bits per vector increases Thursday, May 30, 2019 COE 599 Seminar Presentation

Test Set Partitioning & Grouping Partitioning the test set into acceptable & bottleneck vectors A desired compression threshold set Vectors satisfying the threshold called acceptable Acceptable vectors grouped such that any group still satisfies the threshold best case 1 group only Bottleneck vectors relaxed to increase don’t cares Thursday, May 30, 2019 COE 599 Seminar Presentation

Relaxation based on Decomposition Each scan vector can be decomposed into multiple vectors each having greater unspecified bits than the original vector each vector now detects lesser faults than the original more specified vector. bottleneck vectors are de-composed until the resulting vectors satisfy the threshold vector that cover faults already covered by other vectors (redundant) is dropped relaxed vectors are then made members of existing partition (s) Thursday, May 30, 2019 COE 599 Seminar Presentation

An Example: 50% compression Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Continued… Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Decoder Hardware Consists of MUXs to handle different partitions #MUXs required depends upon #partitions created to satisfy the given compression requirement Thus minimizing partitions minimizes the area overhead Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Partitioning Results Each Test Set is configured into 64 internal scan chains and 75% compression targetted Thursday, May 30, 2019 COE 599 Seminar Presentation

COE 599 Seminar Presentation Conclusion The proposed scheme aims to target user specified compression ratios With an associated partitioning arrangement H/W cost associated with extent of partitioning Benefits of partitioning have been demonstrated on actual test sets Decomposition-based test vector relaxation will (hopefully) lead to user specified compression ratios Under implementation Thursday, May 30, 2019 COE 599 Seminar Presentation