05 Fault Models

Download as pdf or txt
Download as pdf or txt
You are on page 1of 38

Testing Digital Systems I

Testing Digital Systems I


Lecture 5:
Fault Models
Instructor: M. Tahoori
Copyright 2010, M. Tahoori

TDS I: Lecture 5

Introduction

Digital logic networks tested by

The thoroughness and cost of the test depend on the


particular test patterns applied.

applying input signals, called test patterns or vectors,


analyzing the resulting output response.

Choosing which input signals to use as test patterns is critically


important for the success of the test

Fault models are used

To guide the test pattern selection process.


As the bases for test metrics which quantify the thoroughness of
the test patterns
Diagnosis, the determination of the location of the defect causing
the chip to fail the test.

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

Testing Digital Systems I

Fault Model

Fault model

Models effect of physical failure on logic network


Abstraction of physical situation
Used to describe the change in the logic function of a device
caused by the defect.

Various levels of abstraction are used

Functional (Board, Chip) level


Register transfer (Behavioral) level
Logic level
Gate library level
Elementary gate level
Switch level
Transistor (Spice) level

Copyright 2010, M. Tahoori

TDS I: Lecture 5

Fault Model Taxonomy


Fault Models for Logic Circuits

High level or
Functional level
or RT-level

Boolean Logic Network


level

Stuck-on,
Stuckopen

Stuck-at

Bridging Transition Gate Delay

Copyright 2010, M. Tahoori

Lecture 5

Crosscheck

TDS I: Lecture 5

Transistor level

Gate-to-source
or Gate-to-drain
shorts

Path delay
4

Testing Digital Systems I

Fault Model Taxonomy (cont)

Transistor-level fault models

More accurate than logic-level fault models


complexity of handling all transistor-level faults can be
huge

Some transistor-level faults are important for modeling


defects that can cause timing failures and/or early-life
failures

may not be manageable by existing CAD tools.

transistor gate-to-source and gate-to-drain shorts

High-level fault models

having no knowledge about the actual gate-level


representations of logic blocks
not very effective in detecting manufacturing defects

Copyright 2010, M. Tahoori

TDS I: Lecture 5

Logic Level Faults

Why needed?

I/O function tests inadequate for manufacturing testing

No automation for design verification vectors

Real defects too numerous and often not analyzable


Fault abstractions reduce the number of conditions
that must be considered in deriving tests
A fault model identifies targets for testing
test set generation
A fault model makes analysis possible
test set evaluation

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

Testing Digital Systems I

Structural Test

Lack of success with the generation of effective tests based


on the functional operation of circuits

led to the development of the stuck-fault model and the use of


structural information to generate test sets.

The switch from functional tests to structural tests was


signaled in a paper presented by R. Eldred at the August
1958 meeting of the ACM, [Eldred 59].
The opening statement of this paper is:

In order for the successful operation of a test routine to guarantee


that a computing system has no faulty components, the tests
conditions imposed by the routine should be devised at the level of
the components themselves, rather than at the level of programmed
orders.

Copyright 2010, M. Tahoori

TDS I: Lecture 5

Fault Model Effectiveness

Effectiveness of a fault model

The effectiveness of test patterns generated using the


fault model in detecting defective parts.
The accuracy with which it represents the effects of
failures.
Its tractability as a design tool.
Scalability of its complexity with the increasing size of
VLSI circuits.
Its usefulness in determining the location of a defect on a
chip.

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

Testing Digital Systems I

Stuck-at Fault Model

Copyright 2010, M. Tahoori

TDS I: Lecture 5

Stuck Fault Models

Structural logic-level fault model

Start with the circuit represented as a netlist of Boolean gates


Assumes faults only affect the interconnection between gates

Single Stuck Fault

Logic network of elementary gates

Multiple Stuck Fault

AND, OR, NAND, NOR, NOT

One Line has Fixed 0 or 1 Value


Independent of other signal values
One fanout branch can be stuck
Most common model for Boolean test
Written Li / h, h = 0 or 1
One or More Stuck Line Faults Present

Pin Fault

Stuck Fault on I/O Connection of a Module

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

10

Testing Digital Systems I

Stuck-at Fault Model


VDD

VDD
P1

P1

A
N1

N1
Gnd

Gnd

Open signal
(b) lead

Short to(a)
VDD

A 1

Notation: A/1 or A1
Copyright 2010, M. Tahoori

TDS I: Lecture 5

11

Stuck-at Fault Table for AND Gate


a
b

Input

Fault-free

ab

Output

a/0

a/1

b/0

b/1

c/0

c/1

00

01

11

10

Copyright 2010, M. Tahoori

Lecture 5

&

Output Value with Stuck-at Fault

TDS I: Lecture 5

12

Testing Digital Systems I

Fault Detection

An input combination detects a fault in a logic


network if

the response of the faulty logic network to that input


combination is different from that of the fault-free
network
The input combination is called a test pattern for the fault

Fault detection requires:

A test t activates or provokes the fault f.


t propagates the error to an observation point

e.g. primary output

A line whose value changes with f present is said to


be sensitized to the fault site.

Copyright 2010, M. Tahoori

TDS I: Lecture 5

13

Single Stuck-at

14 faults

2 faults (SA0, SA1) per each line

ABCD = 1100 detects F/1

ABCD = 1101 does NOT detect F/1

Faulty and fault-free outputs different


Faulty and fault-free outputs are the same
1 A

&

1 B

1
0(1)

0 C
0 D
Copyright 2010, M. Tahoori

Lecture 5

&

0(1)

SA1
TDS I: Lecture 5

14

Testing Digital Systems I

Stuck-Fault Table for Fanout Faults


X

W
1

&

A
C
&
Y

Input

WXY

Fault-free
Output

000
001
010
011
100
101
110
111

0
0
1
0
1
1
1
0

Output Value with Stuck-at Fault


B/0 C/0 A/1 B/1 C/1

A/0

1
0
1
0
1

0
1
0

0
0
1
0

0
0
1
0

1
0
1
0
1
1
1
0

0
0
0
1
1
1

0
0
1
0
1
1
1

0
0

0
0
1
1

0
0

W X Y = 1 0 1 and 1 1 1 detect all SAF on A

but neither of them detects C/0 or C/1

Copyright 2010, M. Tahoori

TDS I: Lecture 5

15

Multiple Stuck-at Faults

A multiple stuck-at fault means that any set of lines is


stuck-at some combination of (0,1) values.
The total number of single and multiple stuck-at faults
in a circuit with k single fault sites is 3k 1

A single fault test can fail to detect the target fault if


another fault is also present

The number of single stuck-at faults is 2K

however, such masking of one fault by another is rare.

Statistically, single fault tests cover a very large


number of multiple faults.

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

16

Testing Digital Systems I

Multiple Stuck-at Faults


A

&

&
+

&

&

all single stuck-at faults detected by


{ABCD = 0111, 1101, 1111, 1010}
Multiple stuck-at faults (B/1, D/1)

Only ABCD=1010 from above set provokes (B/1, D/1)


Z = 0 in faulty and fault-free cases
Multiple faults not detected!

Copyright 2010, M. Tahoori

TDS I: Lecture 5

17

Multiple Stuck-at Faults


A
B
C
D

E
&

&

ABCD = 1010

E/1 not detected


F/1 not detected
Multiple faults (E/1,F/1) detected

Copyright 2010, M. Tahoori

Lecture 5

&

TDS I: Lecture 5

18

Testing Digital Systems I

Multiple Faults

Exhaustive Simulation of 181 ALU

14-input ALU
All 79,600 Double Faults
16 different Single-stuck Fault Test Sets
Minimum Double Stuck Fault Coverage 99.963 %

L lines

2L Single-Stuck Faults
22C(L,2) Double-Stuck Faults = 2L(L-1)

number of m-stuck-at faults = 2mC(L,m)

Copyright 2010, M. Tahoori

TDS I: Lecture 5

19

Double Faults in 181 ALU

All set achieve 100% single stuck-at coverage


Lowest Double-Stuck-at Fault Coverage is

1 - 30/79,600 = 99.963 %

Test Set

Length
Undetected
Doublestuck
faults

15

16

12 12 12 12 12 12 12 14 14 14 14 17 35 124

135

352

Copyright 2010, M. Tahoori

Lecture 5

28 13 19 4

10 11 12 13 14

14 11 3

TDS I: Lecture 5

30 0

20

10

Testing Digital Systems I

PIN Faults

Exclusive-OR gate

6 Pin faults
W/0, W/1, X/0, X/1, Z/0 and Z/1
100% pin fault coverage
{WX = 00, 01, 10} or {WX = 01, 10, 11} or
{WX = 00, 01, 11} or {WX = 00, 10, 11}
100% flattened fault coverage
Requires all 4 vectors: {WX = 00, 01, 10,11}
W

W1
&

W2
X2
X

+
&

X1

Copyright 2010, M. Tahoori

TDS I: Lecture 5

21

Pin Faults on 2-bit Mux


A
&

X1

B
X

&

X2

Input

Fault-free

XAB

Output

X/0

X/1

A/0

A/1

B/0

B/1

f/0

f/1

X1/1

X2/1

0
0
1
1
0
1
0
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
0
0
0
1
0
1

1
1
1
1
0
1
0
1

0
0
1
1
0
0
0
0

0
0
1
1
1
1
1
1

0
0
0
0
0
0
0
0

1
1
1
1
1
1
1
1

0
0
1
1
0
1
1
1

0
1
1
1
0
1
0
1

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

Copyright 2010, M. Tahoori

Lecture 5

Output Value with Stuck-at Fault

TDS I: Lecture 5

22

11

Testing Digital Systems I

Pin Faults

Fault coverage for 2-to-1 MUX

Different implementations

AND-OR

Test

Single
Stuck

Set

OR-AND
Pin
faults

Single
Stuck

Pin
faults

S1 = {XAB = 001, 011, 110, 111}

100%

100%

80%

100%

S2 = {XAB = 000, 010, 100, 101}

80%

100%

100%

100%

Copyright 2010, M. Tahoori

TDS I: Lecture 5

23

Diverse Implementation

F = XYZ + XYZ
Left Implementation (A)

100% SSF requires all 8 vectors

Right Implementation (B)

100% SSF requires only 4 vectors (XYZ = 000,010,100,111)

X
Y
Z

X
&
+

&

&
Z

(A)
Copyright 2010, M. Tahoori

Lecture 5

(B)
TDS I: Lecture 5

24

12

Testing Digital Systems I

Untestable Faults

Copyright 2010, M. Tahoori

TDS I: Lecture 5

25

Untestable Fault

A fault that does not affect the logical behavior of a


circuit (redundant fault)

Untestable by Particular Test Procedure

Causes

Redundant Circuitry

Design Error

Hazard Control Circuitry


Error Detection Circuitry
Parity Check

Excess Components

Needed for Performance, not Functionality

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

26

13

Testing Digital Systems I

Untestable Fault

Unexpected redundancy

the fault can occur in some portion of the circuit that is redundant:
it has no effect on the circuit function

X3/1, X1/0, X2/0 untestable

Either M or N always 0 X3 always 1


Output can be taken from G instead of F
B
&

X2

X3

X1

X
&

&
+

A
Copyright 2010, M. Tahoori

TDS I: Lecture 5

27

Internal Signal Dependencies

Cannot set 1 on both inputs to the OR gate


Untestable fault

OR changed to XOR

A
X1

&
+

B
X

Copyright 2010, M. Tahoori

Lecture 5

X2

&

TDS I: Lecture 5

28

14

Testing Digital Systems I

Untestable Fault

Hazard Elimination Redundancy

Problem: Output changes when A changes while BC = 11


Solution: Intentional Redundant Implicant BC

Untestable fault: e/0

Copyright 2010, M. Tahoori

TDS I: Lecture 5

29

Error Detection Redundancy

Fault-free decoder

Only one output = 1


E=0

W
X

1
1

P1

&

E/0 untestable

P0
&

If no fault in decoder

P2

&

P3

&
+

XOR
E
Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

30

15

Testing Digital Systems I

Redundant Transistors and gates

CMOS transmission gate

Stuck-at-1 undetectable

1
p
n
EN

Extra drive NAND gate


&
B
&

A
Copyright 2010, M. Tahoori

TDS I: Lecture 5

31

Untestable Faults

C/1 untestable

Z = AB + ABC = AB

Testable fault A1/0 (ABC = 110)

Untestable in the presence of the untestable fault C/1.


A

A1
&
+

&

C
Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

32

16

Testing Digital Systems I

Bridging Faults

Copyright 2010, M. Tahoori

TDS I: Lecture 5

33

Bridging Fault Models

Logical Fault Model


Normally Distinct Signal Lines Shorted Together

Valid logic levels preserved

Restricted to Signal Lines


Short may be resistive

Excludes

Internal gate shorts


Shorts between signal line and power rail

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

34

17

Testing Digital Systems I

Definitions
Bridging faults appear when two or more normally distinct

signal lines in a Boolean logic network are unintentionally


shorted together and create wired logic.
A feedback bridging fault is a special type of bridging fault
which is created when one of the two shorted signal lines
depends on the other signal line in the fault-free circuit.

May cause oscillation or latch

If a fanout branch of a signal line is involved in a bridge

Logic value on the fanout stem and the other fanout branches of that
signal line will be the same as the logic value on the fanout branch
which is involved in the bridge

Copyright 2010, M. Tahoori

TDS I: Lecture 5

35

Bridging Fault
VDD

A
P1

N1

VDD

Gnd

P2
Y

Logic-level model

N2

Gnd

VDD

Transistor-level model

RP1
A/B
RN2

Electrical model when X = 0 and Y = 1

Gnd
Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

36

18

Testing Digital Systems I

Wired Logic Bridging Fault Models

Simplest bridging fault model


Lines A and B connected

Both A and B

Wired AND (AND-bridging fault)

Same logic signal value


Signal value = AND function of fault-free values
TTL or CMOS technologies

Wired OR (OR-bridging fault)

Signal value = OR function of fault-free values


ECL or CMOS technologies

Copyright 2010, M. Tahoori

TDS I: Lecture 5

37

Wired Bridging Fault Model

Vout = VDDRN/(RN+RP)

Output depends on relative sizing and strength


RN >> RP
Wired-OR
VDD
RN << RP
Wired-AND
RP

Out
RN
Gnd

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

38

19

Testing Digital Systems I

Wired AND Bridging Fault

Non-feedback AND Bridge Logical Model

Copyright 2010, M. Tahoori

TDS I: Lecture 5

39

Other Bridging Fault Models

Lines A and B connected

Dominating signal model

Signal value based on driving gate types

Voting model

Both A and B
Same logic signal value

Signal value based on relative drive strengths of A and B


depends on inputs to driving gates

Biased voting model

More comprehensive voting model


conductance of the networks driving the shorted signal lines are
actually a function of the resulting voltage on the shorted signal lines

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

40

20

Testing Digital Systems I

Other Bridging Fault Models

Logic Behaviors of two signal lines A and B under


various Bridging Fault Models
Fault-free
Behavior

Faulty Behaviors
Wired-AND

Wired-OR

A-Dominant B-Dominant

AB

AB

AB

AB

AB

00

00

00

00

00

01

00

11

00

11

10

00

11

11

00

11

11

11

11

11

Copyright 2010, M. Tahoori

TDS I: Lecture 5

41

Voting Bridging Fault Model


f

A
B

&

C
D

VDD

VDD
1 pullup transistor of
NAND

f/g

f/g
R

1 pull-down transistor of
NOR

Voltage divider when ABCD = 0110

Lecture 5

2 pull-down transistors of
NOR

Gnd Gnd

Gnd

Copyright 2010, M. Tahoori

1 pullup transistor of
NAND

Voltage divider when ABCD = 0111

TDS I: Lecture 5

42

21

Testing Digital Systems I

Which Bridging Fault Model to Use?

based on the bridging fault simulation data on the


AMD-K6 microprocessor

error introduced due to use of computationally less


expensive and less accurate bridging fault models is very
little

By using a less accurate bridging fault model we may


overestimate the number of detected shorts by 1%

Copyright 2010, M. Tahoori

TDS I: Lecture 5

43

Other Bridging Fault Models

Feedback Bridging Fault

One signal depends on the other signal (fault-free)

Can construct asynchronous feedback loop

Can Construct a Latch

Additional State
Additional State

Can Cause Oscillation

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

44

22

Testing Digital Systems I

Feedback Bridging Fault


OR-gate with OR-type feedback BF
x

Logical model for the feedback BF


z

+
y

+
+
y

z
x

+
f
Y

Model for OR feedback BF in a general combinational circuit


Copyright 2010, M. Tahoori

TDS I: Lecture 5

45

Feedback Bridging Fault

Logic Behavior of an OR-gate with OR-type Feedback


Bridging Fault
Input
Sequence
Sequence
1

Sequence
2

Inputs
xy
00
01

Fault-free
Output
0
1

Faulty
Output
0/1 *
1

10
11
01
00

1
1
1
0

1
1
1
1

10
11

1
1

1
1

* Depends on the initial state


Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

46

23

Testing Digital Systems I

Feedback Bridging Fault

Oscillation from feedback bridging fault.

NOR-gate with AND-type feedback bridging fault


xy = 00 followed by 10

+
y

z
x

&
+
y

Copyright 2010, M. Tahoori

TDS I: Lecture 5

47

Timing and Delay Faults

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

48

24

Testing Digital Systems I

Timing Failures

Logic Network has a Timing Failure if and only if

it fails to operate correctly at its specified speed

BUT

may produce correct outputs when operated at either

a slower or faster speed

Compared to Stuck-at or bridging fault models

Static faults

Incorrect values at any speed

Copyright 2010, M. Tahoori

TDS I: Lecture 5

49

Timing Failures

Combinational Circuit Causes of Timing Failures

excessive propagation delay


correct output appears later than specified
inadequate propagation delay
correct output appears sooner than specified
usually not an issue
other
static or dynamic hazards may appear at the outputs

Sequential Circuit Causes of Timing Failures

excessive propagation delay


setup time (long path) violation
inadequate propagation delay
hold time (short path) violation

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

50

25

Testing Digital Systems I

Timing Failures

Causes of inadequate propagation delay

process variation global or local propagation shift

Causes of excessive propagation delay

process variation global or local propagation shift


defect-caused local delay increase
resistive bridges between signal lines,
resistive shorts between transistor terminals

e.g. gate-to-source shorts

complete or resistive opens on signal lines and contacts

e.g. vias

missing or defective transmission gate transistors.


transistor threshold shift
Statistical vs worst-case timing designs

Copyright 2010, M. Tahoori

TDS I: Lecture 5

51

Timing Faults Due to Global Propagation Shifts

Ring Oscillator Measurements


Loop of N (Odd) Inverters
Test Point between Two Inverters
Measure frequency: Period is (2N) (Gate Delay)
+ Oscillation Frequency Low for Good Measurement
+ Use Widespread Reasonable reference
- Incomplete Logic Swings
- Neglects Fanout Effects
+ Can be used to Bin Parts
+ Can use Boundary Scan Ring

Binary Frequency Divider

Measure Maximum Toggle Frequency

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

52

26

Testing Digital Systems I

Delay Faults

Delay fault

Synchronous circuit has delay fault iff

it fails to operate correctly at specified speed


it does operate correctly at a slower speed

Delay fault models

Logic level models of excessive propagation delay

Path delay fault


Gate delay fault
Transition fault

Copyright 2010, M. Tahoori

TDS I: Lecture 5

53

False path

A path from the input to the output of a


combinational circuit is a false path

if it does not affect the operation of the circuit.

A false path is not sensitizable under any timing


conditions

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

54

27

Testing Digital Systems I

False path

Example

D
1
1
A
Z = AB + BC + AC
&
All gates unit 1 delay
E
path B-H-Z not a false path
&
A = 0 and C = 1
B
path C-M-Z not a false path
A = B = 0
+
statically sensitizable paths
C
path A-D-G-Z is a false path
Must set E = 1 at time t = 2, and H = M = 0 at time t =
If C = 0

G
+

For 1-to-0 transition on A,


there will be a 0-to-1 transition on M at time t = 1
transition on A will not be propagated

If C = 1

E and H settle to the same value at time t = 0 and 1

Copyright 2010, M. Tahoori

TDS I: Lecture 5

55

False path
D
A

G
&

1
Z

E
H
1

&
M
+

Same function: Z = AB + BC + AC
1 to 0 transition on A along the path A-D-G-Z

E = 1 at time t = 2 and H = M = 0 at time t = 7


C = 1 making M = 0
let A and B transition from 1 to 0 at time t = 0

Not a false path!

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

56

28

Testing Digital Systems I

Sensitization

Dynamic sensitization

Previous example

Static sensitization

During static sensitization of a path, we try to find an input


combination such that an event can propagate along a path after all
signals have settled down
All side inputs of a NAND/AND gate through which a path passes
are 1
All side inputs of a NOR/OR gate through which a path passes are
0
Static sensitization is not a necessary condition for a path to be
sensitizable
But is a sufficient condition

Copyright 2010, M. Tahoori

TDS I: Lecture 5

57

Path Delay Fault

Path delay fault present

propagation delay of at least one path


from primary input to primary output exceeds clock interval
Models multiple or distributed defects
Issue: can path be sensitized, occur in operation?

Each path delay fault

associated with a particular path


between primary input and output
either
all paths
all sensitizible paths
longest paths

static timing analyzer

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

58

29

Testing Digital Systems I

Path Delay Fault Model Problems

Number of paths could be too large

Example : iterative logic array

Number of paths from primary inputs to primary outputs

A circuit with n stages will have 32n-2 paths

A sensitizable path in the test mode

may not be sensitized during normal operation

&

&
+

&

Stage 1

&
+

&

Copyright 2010, M. Tahoori

Stage 2

+
&

Stage 3

TDS I: Lecture 5

59

Gate Delay Fault

Definition

a localized timing failure at a gate causes the propagation


delay of at least one path in the circuit through the fault
site to exceed the specified cycle time

Each gate delay fault

Gate has delay that causes incorrect circuit operation


Delay of some path through gate

exceeds clock interval

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

60

30

Testing Digital Systems I

Transition Fault

Definition

A localized timing failure is large enough such that the


delay of all paths through some gate to observable
outputs exceed the clock interval

Each transition fault

associated with a particular gate input or gate output


either a 0 to 1 transition or a 1 to 0 transition

(two transition faults)

slow-to-rise, slow-to-fall

propagated to some primary output

Copyright 2010, M. Tahoori

TDS I: Lecture 5

61

Transition Fault

two input combinations are needed

initialization pattern

places an initial value at the fault site.

The initial value is 0 for a slow-to-rise transition fault,


and 1 for a slow-to-fall transition fault.

transition propagation pattern

places the final transition value

1 for a slow-to-rise transition fault, and 0 for a slow-to-fall


transition fault

propagates the transition to an observable output

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

62

31

Testing Digital Systems I

Transition Fault: NAND gate


Pattern
Sequence

Inputs
AB

Fault-free
Output Z

00
01
00
10
00
11
01
00
01
10
01
11
10
00
10
01
10
11
11
00
11
01
11
10

1
1
1
1
1
0
1
1
1
1
1
0
1
1
1
1
1
0
0
1
0
1
0
1

2
3
4
5
6
7
8
9
10
11
12

Copyright 2010, M. Tahoori

Faulty Outputs
Slow-to-rise Transition Faults
Slow-to-fall Transition Faults
A
B
Z
A
B
Z

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
0
1
0
1
0
1

1
1
1
1
1
1
1
1
1
1
1
0
1
1
1
1
1
1
0
1
0
1
0
1

TDS I: Lecture 5

1
1
1
1
1
0
1
1
1
1
1
0
1
1
1
1
1
0
0
0
0
0
0
0

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
1
0
0
1
0
0
0
1

1
1
1
1
1
1
1
1
1
0
1
0
1
1
1
1
1
0
0
1
0
1
0
0

1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
1
0
1
0
1

63

Transition Fault: Detection

A rising (falling) transition fault is detected if and


only if:
(1) The first input combination places a 0 (1) at the fault
site; and,
(2) The second input combination detects a stuck-at-0
(stuck-at-1) fault at the transition fault site.

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

64

32

Testing Digital Systems I

Delay Flaw

Abnormal delay for some path(s)

A circuit has a delay flaw if there is a timing failure but


the circuit continues to work at the designed speed.
Delay flaws are very difficult to detect but they can cause
reliability failures or early-life failures

Copyright 2010, M. Tahoori

TDS I: Lecture 5

65

Different Delay Fault Models

The transition fault model very practical

The test generation effort required for transition faults

Almost the same as the test generation effort required for


stuck-at faults

Most commercial test pattern generation tools support


the transition fault model

Relation between different delay fault models

Stuck - at Fault Transition Fault Gate Delay Fau lt


Path Delay Fau lt Delay Fau lt

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

66

33

Testing Digital Systems I

Test Metrics

Copyright 2010, M. Tahoori

TDS I: Lecture 5

67

Test Metrics

Test Metric

Test Metric Applications

Guide generation of a test set


Estimate thoroughness of a test set

Test Metric Calculation

Number representing the effectiveness of a test set


Test escapes
The defective parts that are not detected by a test technique

Typically fault simulation (fault grading)

Types of Test Metrics

fault coverage
other

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

68

34

Testing Digital Systems I

Fault Coverage Metrics

Fault Coverage

Fraction of all faults


of the type considered
Number of detected faults
detected by test set
Total number of faults
Example
NAND gate with inputs a, b, and output z

{ab = 01, 00}

6 SSF: (a/0, a/1, b/0, b/1, z/0, z/1)


detects a/1 and z/1
Fault Coverage = 2/6 = 33.3%

Issues
potentially detected faults
untestable faults (redundancy)

Copyright 2010, M. Tahoori

TDS I: Lecture 5

69

Potentially Detected Fault

Potentially detected fault if

the fault-free circuit produces a deterministic logic value


(0 or 1)
the faulty circuit produces an unknown value

Example

NMOS transistor selector circuit

stuck-at-0 fault at the gate input EN1

EN1 = 1 , EN2 = 0

Fault-free: OUT = IN1


Faulty: OUT depends on previous value

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

En 1
In 1

n
OUT

En 2
In 2

70

35

Testing Digital Systems I

Potentially Untestable Fault

Fault-free circuit does not produce a deterministic


logic 0 or 1 value
En 1
Example
n

NMOS transistor selector circuit

stuck-at-1 fault at the gate input EN1

In 1

OUT

En 2
In 2

EN1 = 0 , EN2 = 0
Fault-free: OUT = depends on previous value

can be detected by applying a two-pattern test

EN1 = 1, EN2 = 0, IN1 = 1


EN1 = 0, EN2 = 0, IN1 = 0

Copyright 2010, M. Tahoori

TDS I: Lecture 5

71

Fault Coverage: Potential Detects

Fault Coverage

Fraction of all faults of the type considered

Fault Coverage with potential detects

detected by test set

N = Number of detected faults


P = Number of potentially detected faults
W = weighting factor for potential detects (e.g. )
T = Total number of faults considered

Modified Fault Coverage = (N + WP) / T

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

72

36

Testing Digital Systems I

Coverage: Undetectable Faults

Test Efficiency

Fraction of all detectable faults

Fault Efficiency

of the type considered


detected by test set

N = Number of detected faults


T = Total number of faults considered
U = Total Number of undetectable faults

Fault Efficiency = N / ( T- U )

Copyright 2010, M. Tahoori

TDS I: Lecture 5

73

Fault Coverage Metrics

Single-stuck-at Fault Coverage

Fraction of single-stuck faults


detected by test set
Issues
net list gates

N-detect Single-stuck-at Fault Coverage

Fraction of single-stuck faults


detected by test set
by AT LEAST

N DIFFERENT test patterns

More effective in detecting defective chips than single stuck-at


Issues
test length

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

74

37

Testing Digital Systems I

Other Test Metrics

Toggle Test Coverage

Fraction of all circuit nodes that are


set both to 0 and to 1, or
have both a 0 to 1 and a 1 to 0 transition
Uses
quick estimate of test thoroughness

No fault simulation required

generate IDDQ test set

Tree of AND (OR) gates

Two patterns: 1111, 0000


100% toggle coverage
Stuck-at coverage
(7+1)/14 = 57.1%

Copyright 2010, M. Tahoori

&
&

c
d

&

TDS I: Lecture 5

75

Other Test Metrics

Pseudo Stuck-at Test Coverage

Fraction of all gate input nodes that have

a 0 value applied AND propagated to gate output


a 1 value applied AND propagated to gate output

Uses

generate IDDQ test set

Copyright 2010, M. Tahoori

Lecture 5

TDS I: Lecture 5

76

38

You might also like