Lecture 3 - Fault Simulation

Similar documents
VLSI System Testing. Fault Simulation

Lecture 7 Fault Simulation

VLSI Testing. Virendra Singh. Bangalore E0 286: Test & Verification of SoC Design Lecture - 7. Jan 27,

VLSI Testing. Fault Simulation. Virendra Singh. Indian Institute of Science Bangalore

Fault Simulation. Problem and Motivation

VLSI Test Technology and Reliability (ET4076)

Testing Digital Systems I

Metodologie di progetto HW Il test di circuiti digitali

Metodologie di progetto HW Il test di circuiti digitali

Lecture 28 IEEE JTAG Boundary Scan Standard

Contents 1 Basic of Test and Role of HDLs 2 Verilog HDL for Design and Test

ECE 156B Fault Model and Fault Simulation

Collapsing for Multiple Output Circuits. Diagnostic and Detection Fault. Raja K. K. R. Sandireddy. Dept. Of Electrical and Computer Engineering,

Sequential Circuit Testing 3

EE434 ASIC & Digital Systems Testing

Very Large Scale Integration (VLSI)

TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES

VLSI Test Technology and Reliability (ET4076)

Diagnostic Test Vectors for Combinational and Sequential

Design and Synthesis for Test

Digital Systems Testing

An Efficient Method for Multiple Fault Diagnosis

Testing Digital Systems I

Design Verification and Test of Digital VLSI Circuits NPTEL Video Course. Module-VIII Lecture-I Fault Simulation

Upper Bounding Fault Coverage by Structural Analysis and Signal Monitoring

outline Reliable State Machines MER Mission example

VLSI Testing. Introduction. Virendra Singh Indian Institute of Science Bangalore

Advanced Digital Logic Design EECS 303

VLSI System Testing. Lecture 1 Introduction Class website: people.ee.duke.edu/~krish/teaching/538.html

l Some materials from various sources! Soma 1! l Apply a signal, measure output, compare l 32-bit adder test example:!

Testing And Testable Design of Digital Systems

Faults, Testing & Test Generation

IMPLEMENTATION OF AN ATPG USING PODEM ALGORITHM

Additional Slides to De Micheli Book

EE5780 Advanced VLSI CAD

Chapter 9. Design for Testability

Page 1. Outline. A Good Reference and a Caveat. Testing. ECE 254 / CPS 225 Fault Tolerant and Testable Computing Systems. Testing and Design for Test

Upper Bounding Fault Coverage by Structural Analysis and Signal Monitoring

VLSI Test Technology and Reliability (ET4076)

Complex test pattern generation for high speed fault diagnosis in Embedded SRAM

Lecture (03) Circuit switching

On Using Machine Learning for Logic BIST

A Parallel Implementation of Fault Simulation on a Cluster of. Workstations

Outline. Definition. Targeted Defects. Motivation GOAL. Ferhani, RATS/SPRING , Center for Reliable Computing 1

ENG04057 Teste de Sistema Integrados. Prof. Eric Ericson Fabris (Marcelo Lubaszewski)

Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM

THE EXHAUSTIVE TESTING OF FPGA LOGIC CELLS. E. BAREISA KTU, Studentu , Kaunas, Lithuania

Preizkušanje elektronskih vezij

Net Diagnosis Using Stuck-at and Transition Fault Models. Lixing Zhao

Extraction Error Diagnosis and Correction in High-Performance Designs

CS 250 VLSI Design Lecture 11 Design Verification

PROOFS Fault Simulation Algorithm

Java based Digital Simulation Automation System (JSAS)

At-Speed Scan Test with Low Switching Activity

INTERCONNECT TESTING WITH BOUNDARY SCAN

l Some materials from various sources! n Current course textbook! Soma 1! Soma 3!

Exploiting Error Detection Latency for Parity-based Soft Error Detection

Whose fault is it? Advanced techniques for optimizing ISO fault analysis

12. Use of Test Generation Algorithms and Emulation

Deterministic Test for the Reproduction and Detection of Board-Level Functional Failures

VLSI Test Technology and Reliability (ET4076)

ECE 587 Hardware/Software Co-Design Lecture 11 Verification I

Testing Embedded Cores Using Partial Isolation Rings

ECE260B CSE241A Winter Logic Synthesis

Propositional Calculus. CS 270: Mathematical Foundations of Computer Science Jeremy Johnson

Programmable Logic Control (PLC) UAE, Dubai, Cityseason Suites Hotel. Training Course : Training Course For One Week In

[IT6004-SOFTWARE TESTING] UNIT 2

UMBC. space and introduced backtrace. Fujiwara s FAN efficiently constrained the backtrace to speed up search and further limited the search space.

Digital Integrated Circuits

Overview of Digital Design with Verilog HDL 1

Computer-System Architecture (cont.) Symmetrically Constructed Clusters (cont.) Advantages: 1. Greater computational power by running applications

The Embedded computing platform. Four-cycle handshake. Bus protocol. Typical bus signals. Four-cycle example. CPU bus.

A VHDL Error Simulator for Functional Test Generation

Coverage Metrics for Post-Silicon Validation. Tim Cheng, Ming Gao, and Peter Lisherness Univ. of California, Santa Barbara

ATPG for Faults Analysis in VLSI Circuits Using Immune Genetic Algorithm

Lecture 2 VLSI Testing Process and Equipment

Fault-Tolerant Computer System Design ECE 60872/CS Topic 9: Validation

Strategies for Driving Test Cases

Lecture 21: Combinational Circuits. Integrated Circuits. Integrated Circuits, cont. Integrated Circuits Combinational Circuits

Built-In Self-Test for Regular Structure Embedded Cores in System-on-Chip

ASIC, Customer-Owned Tooling, and Processor Design

Independence Fault Collapsing and Concurrent Test Generation

Circuit versus CNF Reasoning for Equivalence Checking

SystemC-to-Layout ASIC Flow Walkthrough

Design for Test Methodology Case Study for Motorola C-5e DCP Using the Cadence Incisive Accelerator/Emulator

A Structure-Independent Approach for Fault Detection Hardware Implementations of the Advanced Encryption Standard

Design Diagnosis Using Boolean Satisfiability

Memory Allocation. Copyright : University of Illinois CS 241 Staff 1

Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation

Built-In Self-Test for Programmable I/O Buffers in FPGAs and SoCs

DESIGN-FOR-TESTABILITY AND DIAGNOSIS METHODS TO TARGET UNMODELED DEFECTS IN INTEGRATED CIRCUITS AND MULTI-CHIP BOARDS

Propositional Calculus: Boolean Algebra and Simplification. CS 270: Mathematical Foundations of Computer Science Jeremy Johnson

HIGH-LEVEL TEST GENERATION FOR HARDWARE TESTING AND SOFTWARE VALIDATION

For a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were

Enabling Testability of Fault-Tolerant Circuits by Means of IDDQ-Checkable Voters

Gate Level Fault Diagnosis in Scan-Based BIST

N-Model Tests for VLSI Circuits

CHAPTER 1 INTRODUCTION

AUSIM: Auburn University SIMulator - Version L2.2

ENGIN 112 Intro to Electrical and Computer Engineering

Transcription:

Lecture 3 - Fault Simulation Fault simulation Algorithms Serial Parallel Deductive Random Fault Sampling

Problem and Motivation Fault simulation Problem: Given A circuit A sequence of test vectors A fault model Determine Motivation Fault coverage - fraction (or percentage) of modeled faults detected by test vectors Set of undetected faults Determine test quality and in turn product quality Find undetected fault targets to improve tests

Fault simulator in a VLSI Design Process Verified design netlist Verification input stimuli Fault simulator Test vectors Modeled fault list Remove tested faults Test compactor Delete vectors Fault Low coverage? Adequate Stop Test generator Add vectors

Fault Simulation Scenario Mostly single stuck-at faults Sometimes stuck-open, transition, and path-delay faults; analog circuit fault simulators are not yet in common use Equivalence and dominance fault collapsing of single stuck-at faults Fault-dropping -- a fault once detected is dropped from consideration as more vectors are simulated; fault-dropping may be suppressed for diagnosis Fault sampling -- a random sample of faults is simulated when the circuit is large

Fault Simulation Algorithms Serial Parallel Deductive Random Fault Sampling

Serial Algorithm Algorithm: Simulate fault-free circuit and save responses. Repeat following steps for each fault in the fault list: Modify netlist by injecting one fault Simulate modified netlist, vector by vector, comparing responses with saved responses If response differs, report fault detection and suspend simulation of remaining vectors Advantages: Easy to implement; needs only a simulator, less memory Most faults, including analog faults, can be simulated

Serial Algorithm (Cont.) Disadvantage: Much repeated computation; CPU time prohibitive for VLSI circuits Alternative: Simulate many faults together Test vectors Fault-free circuit Comparator f1 detected? Circuit with fault f1 Comparator f2 detected? Circuit with fault f2 Comparator fn detected? Circuit with fault fn

Parallel Fault Simulation Exploits inherent bit-parallelism of logic operations on computer words Storage: one word per line for two-state simulation Multi-pass simulation: Each pass simulates w-1 new faults, where w is the machine word length Speed up over serial method ~ w-1

Parallel Fault Sim. Example Bit 0: fault-free circuit Bit 1: circuit with c s-a-0 Bit 2: circuit with f s-a-1 a b 1 1 1 1 1 1 1 0 1 c s-a-0 e 0 0 0 1 0 1 c s-a-0 detected 1 0 1 g d f s-a-1 0 0 1

Deductive Fault Simulation One-pass simulation Each line k contains a list L k of faults detectable on k Following simulation of each vector, fault lists of all gate output lines are updated using settheoretic rules, signal values, and gate input fault lists PO fault lists provide detection data

Deductive Fault Simulation Notation: L k is fault list for line k k n is s-a-n fault on line k Example a b 1 {a 0 } L e = L a U L c U {e 0 } = {a 0, b 0, c 0, e 0 } 1 {b 0, c 0 } 1 {b 0 } c e d f {b 0, d 0 } {b 0, d 0, f 1 } 0 1 L g = (L e L f ) U {g 0 } U = {a 0, c 0, e 0, g 0 } Faults detected by the input vector g

Fault Sampling A randomly selected subset (sample) of faults is simulated. Measured coverage in the sample is used to estimate fault coverage in the entire circuit. Advantage: Saving in computing resources (CPU time and memory.) Disadvantage: Limited data on undetected faults.

Motivation for Sampling Complexity of fault simulation depends on: Number of gates Number of faults Number of vectors Complexity of fault simulation with fault sampling depends on: Number of gates Number of vectors

Random Sampling Model Detected fault Undetected fault All faults with a fixed but unknown coverage N p = total number of faults (population size) C = fault coverage (unknown) Random picking N s = sample size N s << N p c = sample coverage (a random variable)

Example A circuit with 39,096 faults has an actual fault coverage of 87.1%. The measured coverage in a random sample of 1,000 faults is 88.7%. CPU time for sample simulation was about 10% of that for all faults.