TOPIC : Different levels of Fault model UNIT 2 : Fault Modeling Module 2.1 Modeling Physical fault to logical fault.

Slides:



Advertisements
Similar presentations
The scale of IC design Small-scale integrated, SSI: gate number usually less than 10 in a IC. Medium-scale integrated, MSI: gate number ~10-100, can operate.
Advertisements

Microcomputer Circuits Prof Jess UEAB 2007 Designing a Microprocessor Chapter 1.
Verilog Overview. University of Jordan Computer Engineering Department CPE 439: Computer Design Lab.
Based on text by S. Mourad "Priciples of Electronic Systems" Digital Testing: Design Representation and Fault Detection
Functions and Functional Blocks
CMP238: Projeto e Teste de Sistemas VLSI Marcelo Lubaszewski Aula 2 - Teste PPGC - UFRGS 2005/I.
Digital Design with VHDL Presented by: Amir Masoud Gharehbaghi
9. Fault Modeling Reliable System Design 2011 by: Amir M. Rahmani.
Copyright 2001, Agrawal & BushnellDay-1 AM-3 Lecture 31 Testing Analog & Digital Products Lecture 3: Fault Modeling n Why model faults? n Some real defects.
Copyright 2001, Agrawal & BushnellDay-1 PM Lecture 4a1 Design for Testability Theory and Practice Lecture 4a: Simulation n What is simulation? n Design.
Logic Simulation 4 Outline –Fault Simulation –Fault Models –Parallel Fault Simulation –Concurrent Fault Simulation Goal –Understand fault simulation problem.
Modern VLSI Design 2e: Chapter 4 Copyright  1998 Prentice Hall PTR Topics n Switch networks. n Combinational testing.
Combinational Circuits
1 Hardware description languages: introduction intellectual property (IP) introduction to VHDL and Verilog entities and architectural bodies behavioral,
Lecture 5 Fault Modeling
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault.
GOOD MORNING.
(1) Modeling Digital Systems © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
Charles Kime & Thomas Kaminski © 2004 Pearson Education, Inc. Terms of Use (Hyperlinks are active in View Show mode) Terms of Use Lecture 11 – Design Concepts.
CSET 4650 Field Programmable Logic Devices
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Fault Modeling.
MTV-06, Austin,Texas, December 4-5, Test Calculation for Logic and Delay Faults in Digital Circuits József SZIRAY Department of Informatics Széchenyi.
CSCI-235 Micro-Computers in Science Hardware Design Part I.
Lecture 17: Digital Design Today’s topic –Intro to Boolean functions Reminders –HW 4 due Wednesday 10/8/2014 (extended) –HW 5 due Wednesday 10/15/2014.
ECE 2372 Modern Digital System Design
TOPIC : Types of fault simulation
Introduction to VLSI Design – Lec01. Chapter 1 Introduction to VLSI Design Lecture # 2 A Circuit Design Example.
ON LINE TEST GENERATION AND ANALYSIS R. Šeinauskas Kaunas University of Technology LITHUANIA.
Digital Components and Combinational Circuits Sachin Kharady.
Modern VLSI Design 4e: Chapter 4 Copyright  2008 Wayne Wolf Topics n Switch networks. n Combinational testing.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Logic Modeling.
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.
1 Boolean Algebra & Logic Gates. 2 Objectives Understand the relationship between Boolean logic and digital computer circuits. Learn how to design simple.
1 H ardware D escription L anguages Modeling Digital Systems.
Testing of Digital Systems: An Introduction Dr. Aiman H. El-Maleh Computer Engineering Department King Fahd University of Petroleum & Minerals Dr. Aiman.
Field Programmable Gate Arrays (FPGAs) An Enabling Technology.
CSCI-100 Introduction to Computing Hardware Design Part I.
ECE 260B – CSE 241A Testing 1http://vlsicad.ucsd.edu ECE260B – CSE241A Winter 2005 Testing Website:
Fault Models, Fault Simulation and Test Generation Vishwani D. Agrawal Department of ECE, Auburn University Auburn, AL 36849, USA
Computer logic Data and programs in digital computers are represented and processed by electronic circuit networks called digital logic circuits or logic.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Modeling with hardware description languages (HDLs).
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
EE434 ASIC & Digital Systems Partha Pande School of EECS Washington State University
EE 5900 Advanced Algorithms for Robust VLSI CAD, Spring 2009 Combinational Circuits.
An introduction to Fault Detection in Logic Circuits By Dr. Amin Danial Asham.
ELEE 4303 Digital II Introduction to Verilog. ELEE 4303 Digital II Learning Objectives Get familiar with background of HDLs Basic concepts of Verilog.
Introduction to ASIC flow and Verilog HDL
Manufacture Testing of Digital Circuits
Digital Logic Design Lecture # 6 University of Tehran.
Jan. 26, 2001VLSI Test: Bushnell-Agrawal/Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault models.
FPGA-Based System Design Copyright  2004 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
TOPIC : Introduction to Faults UNIT 2: Modeling and Simulation Module 1 : Logical faults due to physical faults.
VLSI Testing Class Fault Modeling 李昆忠 Kuen-Jong Lee Dept. of Electrical Engineering National Cheng-Kung University Tainan, Taiwan.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 51 Lecture 5 Fault Modeling n Why model faults? n Some real defects in VLSI and PCB n Common fault.
ELEC 7950 – VLSI Design and Test Seminar
Chapter 3 Boolean Algebra and Digital Logic T103: Computer architecture, logic and information processing.
An Overview CS341 Digital Logic and Computer Organization F2003.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 61 Lecture 6 Logic Simulation n What is simulation? n Design verification n Circuit modeling n True-value.
Design and Documentation
Combinational Logic Design
Topics Modeling with hardware description languages (HDLs).
VLSI Testing Lecture 5: Logic Simulation
Timing Model Start Simulation Delay Update Signals Execute Processes
Topics Modeling with hardware description languages (HDLs).
Timing Analysis 11/21/2018.
Lecture 5 Fault Modeling
Lesson 4 Synchronous Design Architectures: Data Path and High-level Synthesis (part two) Sept EE37E Adv. Digital Electronics.
HDL Hardware Description Language
HIGH LEVEL SYNTHESIS.
VLSI Testing Lecture 3: Fault Modeling
Presentation transcript:

TOPIC : Different levels of Fault model UNIT 2 : Fault Modeling Module 2.1 Modeling Physical fault to logical fault

Why fault model? '''Fault models''' are necessary for generating and evaluating a set of test vectors. Generally, a good fault model should satisfy two criteria: 1.It should accurately reflect the behavior of defects, and 2.It should be computationally efficient in terms of fault simulation and test pattern generation.

Levels of abstraction in circuits Circuits can be described at various levels of abstraction in the design hierarchy. ◦ A behavioral description of a digital system is given using a hardware description language, such as VHDL or Verilog. ◦ A functional description is given at the register-transfer level (RTL). ◦ A structural description is given at the logic(gate) level. ◦ A switch-level description establishes the transistor-level details of the circuit. ◦ A geometric description is given at the layout level.

Levels of abstraction in circuits

Need of Fault models at different abstraction levels Fault modeling is the process of modeling defects at higher levels of abstraction in the design hierarchy. The advantage of using a fault model at the lowest level of abstraction is that it closely corresponds to the actual physical defects, and is thus more accurate. However, a chip made of 50 million transistors could have more than 500 million possible defects. Therefore, to reduce the number of faults and, hence, the testing burden, one can go up in the design hierarchy, and develop fault models which are perhaps less accurate, but more practical.

Behavioral fault models It is defined at the highest level of abstraction. They are based on the behavioral specification of the system. Behavioral fault models are associated with high-level hardware descriptions of digital designs. They are related to failure modes of the constructs in the hardware description language, such as VHDL

Various behavioral fault models The “for” clause of the language could fail. The “switch (Id)” clause could fail in one of the following ways: ◦ all of the specified cases are selected, ◦ none of the specified cases are selected. An “if (Y ) then {B1} else {B2}” construct could fail in one of the following ways: ◦ the set of statements {B 1 } is never executed and set {B 2 } is always executed. ◦ set {B 1 } is always executed and set {B 2 } is never executed. The “wait for S” synchronizing construct could fail such that the clause may always be executed or never be executed irrespective of the state of signal S.

Functional fault models Defined at the functional block level. They are geared towards making sure that the functions of the functional block are executed correctly. For example, for a block consisting of random-access memory (RAM), one type of functional fault we may want to consider is when one or more cells are written into, other cells also get written into. This type of fault is called multiple writes.

Functional fault models Consider a multiplexer. One can derive the following functional fault model for it. ◦ A 0 and a 1 cannot be selected on each input line. ◦ When an input is being selected, another input gets selected instead of or in addition to the correct input. Another type of functional fault model assumes that the truth table of the functional block can change in an arbitrary way. This usually leads to exhaustive testing, where, for example, for an n- input combinational circuit, all the 2n vectors need to be applied.

Structural fault models It assume that the structure of the circuit is known. Faults under these fault models affect the interconnections in this structure. The most well known fault model under this category is the single stuck-at fault model. This is the most widely used fault model in the industry. Detection of all single stuck-at faults results in the detection of a majority(80-85%) of realistic physical defects

Structural fault models The stuck-at fault (SAF) model is directly derived from these requirements. A line is said to be stuck-at 0 (SA0) or stuck-at 1 (SA1) if the line remains fixed at a low or high voltage level, respectively (assuming positive logic). If SAFs are simultaneously present on more than one line in the circuit, the faults are said to belong to the multiple SAF model.

Switch-level fault models Switch-level fault models are defined at the transistor level. The most prominent fault models in this category are the stuck-open and stuck-on fault models. ◦ If a transistor is permanently non-conducting due to a fault, it is considered to be stuck-open. ◦ Similarly, if a transistor is permanently conducting, it is considered to be stuck-on. These fault models are specially suited for the CMOS technology.

Geometric fault models It assume that the layout of the chip is known. For example, knowledge of line widths, inter- line and inter-component distances, and device geometries are used to develop these fault models. The bridging fault model thus developed leads to accurate detection of realistic defects. With shrinking geometries of very large scale integrated (VLSI) chips, this fault model will become increasingly important.

Geometric fault models Bridging fault models can also be defined at the structural or switch levels. For non-CMOS technologies, a Bridging Fault between two lines is assumed to result in an AND or OR function being realized on the two lines. These kinds of faults are referred to as wired-AND and wired-OR, respectively

Delay fault models Instead of affecting the logical behavior of the circuit, a fault may affect its temporal behavior only; such faults are called delay faults (DFs). Two types of DF models are usually used: ◦ The gate delay fault model: a circuit is said to have a gate delay fault (GDF) in some gate if an input or output of the gate has a lumped DF manifested as a slow 0 → 1 or 1 → 0 transition. ◦ The path delay fault model: a circuit is said to have a path delay fault (PDF) if there exists a path from a primary input to a primary output in it which is slow to propagate a 0 → 1 or 1 → 0 transition from its input to its output.