Mugil Vannan H ST Microelectronics India Pvt. Ltd, Noida

Slides:



Advertisements
Similar presentations
Introduction to DFT Alexander Gnusin.
Advertisements

What are FPGA Power Management HDL Coding Techniques Xilinx Training.
Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
MEMORY BIST by: Saeid Hashemi Mehrdad Falakparvaz
The need for AMS assertions Verify the analog/digital interfaces at block and SoC levels –Check properties involving voltages and currents –Check complex.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
Apr. 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 311 Lecture 31 System Test n Definition n Functional test n Diagnostic test  Fault dictionary  Diagnostic.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 13/12alt1 Lecture 13 Sequential Circuit ATPG Time-Frame Expansion (Lecture 12alt in the Alternative.
1 Lecture 10 Sequential Circuit ATPG Time-Frame Expansion n Problem of sequential circuit ATPG n Time-frame expansion n Nine-valued logic n ATPG implementation.
Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Topics n High-level synthesis. n Architectures for low power. n Testability and architecture.
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.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4a1 Design for Testability Theory and Practice Lecture 4a: Simulation n What is simulation? n Design.
Copyright 2001, Agrawal & BushnellDay-1 AM Lecture 11 Design for Testability Theory and Practice January 15 – 17, 2005 Vishwani D. Agrawal James J. Danaher.
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
Design for Testability Theory and Practice Lecture 11: BIST
Embedded Hardware and Software Self-Testing Methodologies for Processor Cores Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, and Ying Chen Design Automation.
Design for Testability
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11 Lecture 1 Introduction n VLSI realization process n Verification and test n Ideal and real tests.
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
Lecture 27 Memory and Delay-Fault Built-In Self-Testing
Testing of Logic Circuits. 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models  Observability and Controllability.
Prof. John Nestor ECE Department Lafayette College Easton, Pennsylvania ECE VLSI Circuit Design Lecture 14 - Testing.
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
TOPIC - BIST architectures I
مرتضي صاحب الزماني  The registers are master-slave flip-flops (a.k.a. edge-triggered) –At the beginning of each cycle, propagate values from primary inputs.
3. Built-In Self Test (BIST): Periodical Off-Line Test on the Field 3.1 General Structure Unit Under Test Data Compressor Data Generator Comparator Display.
BIST vs. ATPG.
Class Design Project - Test Generation 1 Class Design Project Test Generation Hillary Grimes III ELEC Project Presentation April 26, 2007.
Design for Testability
Testing and DFT tools ( Installed in our PLD Lab ) Maksim Jenihhin IXX9500 Doktoriseminar TURBO TESTER.
Copyright 2001, Agrawal & BushnellLecture 1 Introduction1 VLSI Testing Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical and Computer Engineering.
AN INVESTIGATION INTO THE REQUIREMENTS OF A PC-BASED LEARNING ENVIRONMENT FOR THE EDUCATION OF MICROELECTRONIC TEST ENGINEERING Joseph Walsh and Ian Grout.
Introduction to CMOS VLSI Design Test. CMOS VLSI DesignTestSlide 2 Outline  Testing –Logic Verification –Silicon Debug –Manufacturing Test  Fault Models.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS Design for Testability (DFT) - 2.
Presenter : Ching-Hua Huang 2013/9/16 Visibility Enhancement for Silicon Debug Cited count : 62 Yu-Chin Hsu; Furshing Tsai; Wells Jong; Ying-Tsai Chang.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Testability and architecture. Design methodologies. Multiprocessor system-on-chip.
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.
Testing of integrated circuits and design for testability J. Christiansen CERN - EP/MIC
CSE477 L28 DFT.1Irwin&Vijay, PSU, 2003 CSE477 VLSI Digital Circuits Fall 2003 Lecture 28: Design for Test Mary Jane Irwin ( )
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Test and Test Equipment Joshua Lottich CMPE /23/05.
More Digital circuits. Ripple Counter The most common counter The problem is that, because more than one output is changing at once, the signal is glichy.
Microprogrammed Control Chapter11:. Two methods for generating the control signals are: 1)Hardwired control o Sequential logic circuit that generates.
PART 6: (1/2) Enhancing CPU Performance CHAPTER 16: MICROPROGRAMMED CONTROL 1.
TOPIC : Different levels of Fault model UNIT 2 : Fault Modeling Module 2.1 Modeling Physical fault to logical fault.
Copyright 2001, Agrawal & BushnellLecture 6: Sequential ATPG1 VLSI Testing Lecture 6: Sequential ATPG n Problem of sequential circuit ATPG n Time-frame.
TOPIC : Controllability and Observability
THE MICROPROCESSOR A microprocessor is a single chip of silicon that performs all of the essential functions of a computer central processor unit (CPU)
MICROPROGRAMMED CONTROL
Silicon Programming--Testing1 Completing a successful project (introduction) Design for testability.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Functional testing.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
Class Exercise 1B.
VLSI Testing Lecture 5: Logic Simulation
Hardware Testing and Designing for Testability
Vishwani D. Agrawal Department of ECE, Auburn University
VLSI Testing Lecture 14: Built-In Self-Test
Chapter 11 Sequential Circuits.
Lecture 12: Design for Testability
Pattern Compression for Multiple Fault Models
Hardware Description Languages
Lecture 12: Design for Testability
Design for Testability
Lecture 12: Design for Testability
CSE 370 – Winter Sequential Logic - 1
Lecture 26 Logic BIST Architectures
Test Data Compression for Scan-Based Testing
Presentation transcript:

Mugil Vannan H ST Microelectronics India Pvt. Ltd, Noida Test Coverage Analysis of Partial Scan SoCs using ATPG and Fault Simulation of Functional vectors using TetraMax: A Case Study Mugil Vannan H ST Microelectronics India Pvt. Ltd, Noida

Testability for Non-Scan Devices Full Scan designs rely on Tool generated ATPG vectors. Test Coverage of 99% not uncommon for Full-Scan Partial and Non-Scan rely on Functional Vectors and internal BIST techniques like Signature analysis using LFSR (Linear FeedBack Shift Register). But no real metric for the Stuck-At Coverage offered by these vectors. TetraMax Fault-Sim flow for Test Coverage improvement through External Vectors.

TetraMax Fault Simulation Flow Fault Simulation can be performed Stand Alone (Non-Scan) or in combination with ATPG (Partial and Full Scan) The flow Run Basic Scan ATPG for the Scan Part of the design. Save the uncollapsed fault list. Load the external vectors and perform a good machine simulation. Now, fault simulate the external vectors. TetraMax accepts vectors in variety of formats. We used WGL format. Some external vectors fail good machine simulation giving simulation miscompares. TetraMax Bug found (STAR 9000064596) Other reasons: Bad patterns, difference in simulation models.

TetraMax Fault-simulation Environment External Patterns are usually generated from logic Simulators which are ‘Event-Driven’. TetraMax is a Cycle-based simulator. Computes Steady state response of circuit at each cycle boundary. Does not propagate values through every gate. So, it cannot catch glitches. Is a ‘Zero Delay simulator’. But cycle based simulations are 10 to 100 times faster than Event driven simulations. Fault simulation environment should mimic the functional simulaiton environment. Analog blocks that affect pattern simulation cannot be declared as black boxes.

Memory Models ST7 functional test vectors are run from the RAM. The Address of the reset and interrupt routines are stored in the ROM. TetraMax compatible RAM and ROM behavioral models are necessary for fault simulation. TetraMax supports a very limited subset of verilog syntax. Supports only conventional memory blocks in the form of basic 2-D arrays. It is difficult to write decoding logic in case of segmented memory, where address is to be decoded. Needs structural implementation. So, even the TetraMax behavioral models are mostly structural.

Shadow Logic Detection TetraMax cannot detect faults in the shadow logic if the corresponding Analog blocks are defined as black boxes. We modeled RAM, ROM and ADC and were able to detect faults in the shadow of these blocks. The ADC Interface (Digital) is in the shadow of the ADC block. Shadow Logic Total Faults Initial Test Cov After Fault simultion ADC Interface 760 4.53% 61%

Test Coverage Vs Code Coverage Good statement or toggle coverage does not necessarily mean good test coverage. For a fault to be detected, it has to be both controlled and propagated to one of the primary ports of the DUT where it can be observed. Toggle coverage is concerned only with controllability of a node. Fault grading functional vectors is an effective method to weed out patterns that do not capture many production faults. Thus we can reduce the size of the production pattern set and also save on testing time per device. *

Coverage Improvement Results and Time Estimate

Conclusion Fault Grading can be used to improve the coverage of full scan and partial scan architectures by running a few functional vectors after the ATPG run. It is a good means to detect redundant functional vectors that have low fault detection capability. Fault Grading helps us write functional vectors aimed at faults in the design and bridge the gap between testing functionality and capturing stuck-at faults. Also there is a need for a waveform viewer. It is very tedious to debug full sequential patterns on the GSV (Graphical Schematic viewer). We can also have diagnosis capability for full-sequential patterns.