VLSI Testing : Logic Simulation Part 1.pptx

Varsha506533 55 views 27 slides Jul 15, 2024
Slide 1
Slide 1 of 27
Slide 1
1
Slide 2
2
Slide 3
3
Slide 4
4
Slide 5
5
Slide 6
6
Slide 7
7
Slide 8
8
Slide 9
9
Slide 10
10
Slide 11
11
Slide 12
12
Slide 13
13
Slide 14
14
Slide 15
15
Slide 16
16
Slide 17
17
Slide 18
18
Slide 19
19
Slide 20
20
Slide 21
21
Slide 22
22
Slide 23
23
Slide 24
24
Slide 25
25
Slide 26
26
Slide 27
27

About This Presentation

VLSI Testing


Slide Content

Logic Simulation Pg. No. 39 to 64 M.Abramovici , M.A. Breuer, A.D. Friedman, “Digital systems testing and testable design”, Jaico Publishing House.

It is a form of design verification testing that uses a model of the system. Introduction

Logic simulation is used to verify operation of the system is: Other applications of simulation in the design process are:

Simulation replaces prototypes with software model with advantages as :

Problems in Simulation Based Design Verification

Compiled driven simulation : It executes a complied code model Compiled code is generated by RTL or Functional programming. It is mainly oriented towards functional verification It is not concerned with the timing of the circuit. Event Driven Simulation : Applicable to asynchronous circuits Consider timing verification as it is event based. Can process real time inputs. Types of Simulation

Level of Simulation

In Sequential circuit, initialization is required. To process the unknown initial state simulation algorithm uses unknown logic value ‘u’={0,1} The unknown logic value

3 value logic

u.ub =0, u+ub =1

Compiled Simulation

Event Driven Simulation Also process control events such as : Display values of certain signals Checks expected values

Every gate adds delay to the signal propagating through it. Delay Models

Delay from changes in input to the output response to the input change. Transport Delay

The minimum duration in input change necessary for output to switch the state is called input inertial delay ( d I ) The output inertial delay model specifies that the gate output can not generate a pulse with duration less than d I . Inertial Delay

Static Hazards: Let Q=1, A changes from 0 to 1, B changes from 1 to 0 in given circuit. For short interval A=B=1 causes Short pulse at Z as Momentarily reset the latch to ‘0’ Causes Static Hazard Hazard Detection

Static Hazards

Dynamic Hazards

Hazard detection in asynchronous circuit

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

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

25 Fault Simulation Scenario Circuit model: mixed-level Mostly logic with some switch-level for high-impedance (Z) and bidirectional signals High-level models (memory, etc.) with pin faults Signal states: logic Two (0, 1) or three (0, 1, X) states for purely Boolean logic circuits Four states (0, 1, X, Z) for sequential MOS circuits Timing: Zero-delay for combinational and synchronous circuits Mostly unit-delay for circuits with feedback

26 Fault Simulation Scenario (Continued) Faults: Mostly single stuck-at faults Sometimes stuck-open, transition, and path-delay faults; analog circuit fault simulators are not yet in common use Equivalence 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 topic will be discussed after Unit 2 (Part of Unit 1)
Tags