Chapter 5 VLSI Testing

Jin-Fu
u Li
Advanced Reliable Systems (ARES) Laboratory
Department of Electrical Engineering
National Central University
Jungli, Taiwan
 Outline
† Basics
† Fault Modeling
† Design-for-Testability

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 2

 Outline
† Basics
† Fault Modeling
† Design-for-Testability

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 3

 VLSI Realization Process

Customer’s need

Determine requirements

Write specifications

Design synthesis and Verification

Test development

Fabrication

g test
Manufacturing

Chips to customer

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 4

 VLSI Design Cycle
Concept

Design Designer Final Product

Validation
Product
Behavior Specification Manufacturing Verification

RTL Behavior Synthesis Layout (Masks)

Verification
Layout
RTL Design Layout Synthesis Verification

Logic Logic Synthesis Netlist (Logic Gates)

Verification

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 5

 Role of Testing
† If you design a product, fabricate, and test it,
and it fails the test, then there must be a
cause for the failure
„ Test was wrong
„ The fabrication process was faulty
„ The design was incorrect
„ Th specification
The ifi ti problem
bl
† The role of testing is to detect whether
something
thi wentt wrong and d the
th role
l off
diagnosis is to determine exactly what went
wrong
† Correctness and effectiveness of testing is
most important for quality products
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 6
 Benefits of Testing
† Quality and economy are two major benefits of
testing
† The two attributes are greatly dependent and
can not be defined without the other
† Quality means satisfying the user’s needs at a
minimum cost
† The purpose of testing is to weed out all bad
products before they
p y reach the user
„ The number of bad products heavily affect the price
of good products
† A profound understanding of the principles of
manufacturing and test is essential for an
engineer
i tto d
design
i a quality
lit product
d t
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 7
 Trends of Testing
† Two key factors are changing the way of VLSI
ICs testing
„ The manufacturing test cost has been not scaling
„ The effort to generate tests has been growing
geometrically
t i ll along
l with
ith product
d t complexity
l it

Cost: cents/transistor
1 Source: SIA
0.1
0.01 Si capital/transistor
0.001
0.0001
0.00001 Test capital/transistor
0.000001
0.0000001
1982 1985 1988 1991 1994 1997 2000 2003 2006 2009 2012

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 8

 DFT Cycle
Behavioral Description Gate

Behavioral DFT Synthesis Technology Mapping

RTL Description Layout

Logic DFT Synthesis Parameter Extraction

Gate Description Manufacturing

Test Pattern Generation Product

Fault Coverage ? Test Application

Low High
Good Product

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 9

 As Technology Scales Continuously
† Die size, chip yield, and design productivity
have so far limited transistor integration in a
VLSI design
† Now the focus has shifted to energy
consumption, power dissipation, and power
delivery
† As technology scales further we will face new
challenges, such as variability, single-event
upsets (soft
f errors), and device (transistor
performance) degradation− these effects
manifesting
if ti as iinherent
h t unreliability
li bilit off the
th
components, posing design and test challenges
Source: S. Borkar (Intel Corp.), IEEE Micro, 2005
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 10
Possible Solution to Conquer Unreliability
† The key to the reliability problem might be to exploit
the abundance off transistors−use Moore’s low to
advantage. Instead of relying on higher and higher
ffrequency
q y off operation
p to deliver higher
g performance,
p f a
shift toward parallelism to deliver higher performance
is in order, and thus multi mightg be the solution at all
levels−from multiplicity of functional blocks to multiple
pprocessor cores in a system
y

Source: S. Borkar (Intel Corp.), IEEE Micro, 2005

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 11
Possible Solution to Conquer Unreliability
† We could distribute test functionality as a part of the
hardware to dynamically
y y detect errors, or to correct and
isolate aging and faulty hardware. Or a subset of cores
in the multicore design g could perform
p f this work. This
microarchitecture strategy, with multicores to assist in
redundancy, y is called resilient microarchitecture. It
continuously detects errors, isolates faults, confines
ffaults, reconfigures
fg the hardware, and thus adapts.
p Iff we
can make such a strategy work, there is no need for on-
time factory testing, burn in, since the system is capable
of testing and reconfiguring itself to make itself work
reliably throughout its lifetime.
Source: S. Borkar (Intel Corp.), IEEE Micro, 2005
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 12
 Itanium (JSSC, Jan. 2006)

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 13

 SPARC V9 (JSSC, Jan. 2006)

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 14

 Cell Processor (JSSC, Jan. 2006)

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 15

 Verification & Test
¾ Verifies correctness of design
¾ Performed by y simulation,, hardware emulation,, or
Verification formal methods
¾ Perform once before manufacturing
¾ Responsible for quality of design

¾ Verifies correctness of manufactured hardware

¾ Two-part process
¾ Test generation: software process executed
once during design
Test ¾ Test application: electrical tests applied to
hardware
¾TTestt application
li ti performed
f d on every manufactured
f t d
device
p
¾ Responsible for q
quality
y of device

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 16

 Verification & Test
† Reconvergent path model

Specification

Verification Hardware design

Netlist

Test Manufacturing

Silicon

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 17

 Defect, Fault, and Error
† Defect
„ A defect is the unintended difference between the
implemented hardware and its intended design
„ Defects occur either during manufacture or during
the use of devices
† Fault
„ A representation of a defect at the abstracted
function level
† Error
„ A wrong output signal produced by a defective
system
y
„ An error is caused by a Fault or a design error

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 18

 Typical Types of Defects
† Extra and missing material
„ Primarily caused by dust particles on the mask or
wafer surface, or in the processing chemicals
† Oxide breakdown
„ Primarily caused by insufficient oxygen at the
interface of silicon (Si) and silicon dioxide (SiO2),
chemical contamination,
contamination and crystal defects
† Electromigration
„ Primarily caused by the transport of metal atoms
when a current flows through the wire
† Because of a low melting point, aluminum has large
self-diffusion properties, which increase its
electromigration liability

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 19

 Example
† Consider one two-input AND gate
a c
b

† Defect: a short to ground

a a
b b c
Gnd

† Fault: signal b stuck at logic 0

† Error: a=1, b=1, c=0 (correct output c=1)
† Note that the error is not permanent. As long
as at least one input is 0, there is no error in
the output
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 20
 Defect, Fault, and Error
† Different types of defects may cause the same
fault

a c a c
b b

† Different types of faults may cause the same

error
„ E.g., A stuck
stuck-at-0,
at 0, Y=1;
Y 1; C stuck
stuck-at-1,
at 1, Y
Y=1
1
S/0
A
S/1 B Y
C
D

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 21

 The Test Problem

Defect Fault Test pattern Fault coverage

Fault modeling Test pattern Fault simulation
generation

S/1 C D Y Y(C is S/1)

C
Y 0 0 0 1
D
0 1 1 1
1 0 1 1
1 1 1 1

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 22

 Ideal Tests & Real Tests
† The problems of ideal tests
„ Ideal tests detect all defects produced in the
manufacturing process
„ Ideal tests pass all functionally good devices
„ Very large numbers and varieties of possible defects
needd to
t beb tested
t t d
„ Difficult to generate tests for some real defects
† Real tests
„ Based on analyzable fault models, which may not map on
real defects
„ Incomplete
I l t coverage off modeled
d l d faults
f lt due
d to
t high
hi h
complexity
„ Some good chips are rejected. The fraction (or
percentage) of such chips is called the yield loss
„ Some bad chips pass tests. The fraction (or percentage)
of bad chips
p amongg all p
passing
g chips
p is called the defect
level
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 23
 How to Test Chips?
Test patterns Test responses

---11 10---
---01 00---
…… Circuit under test ……
---00 01---
---10 10---

Stored
Correct Comparator
Responses

Test result
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 24
 Cost of Test
† Design for testability (DFT)
„ Chip area overhead and yield reduction
„ Performance overhead
† Software processes of test
„ Test generation and fault simulation
„ Test programming and debugging
† Manufacturing test
„ Automatic test equipment (ATE) capital cost
„ Test center operational cost

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 25

 ADVENTEST Model T6682 ATE
† Consists of
„ Powerful computer
„ Powerful 32-bit digital
signal
g processor (DSP)
p ( )
for analog testing
„ Probe head: actually
touches the bare dies
or packaged chips to
perform fault detection
experiments
„ Probe card: contains
electronics to measure
chippp
pin or pad
p
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 26
 Internal Structure of the ATE
Test Program
STIL 1.0;
„„„„„„„„„„
„„„„„„„„„„
Pattern
P tt „„„„„„„„„„
„„„„„„„„„„
„„„„„„„„„„
Clocking Memory „„„„„„„„„„
„„„„„„„„„„
„„„„„„„„„„
Chip Under Test „„„„„„„„„„

(CUT)

nal Bus
Pin Generators
Pin
Pin
Pin
Electronics
Pin System
Electronics
Pi
Pin

Intern
Electronics
Pin
Electronics Controller
Electronics
Electronics
Electronics Analyzers

Disk

Workstation

Source: H.-J. Huang, CIC

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 27
 ATE Test Operation

STIL 1.0;
„„„„„„„„„„
„„„„„„„„„„
Pattern „„„„„„„„„„
„„„„„„„„„„
Test
„„„„„„„„„„
Memory „„„„„„„„„„ Program
„„„„„„„„„„
„„„„„„„„„„
„„„„„„„„„„

Input Compare
Drivers Expected
p
Response Output

Pass/Fail
Input
Stimulus Actual
CUT Response
Local
Per-Pin
Memory

Source: H.-J. Huang, CIC

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 28
 Types of Test
† Characterization testing
„ A.k.s. design debug or verification testing
„ Performed
f d on a new design
d i b
before
f it
i iis sent to
production
„ Verify whether the design is correct and the device
will meet all specifications
„ Functional tests and comprehensive AC and DC
measurements are made
„ A characterization test determines the exact limits
of device operation
p values
† DC Parameter tests
„ Measure steady-state electrical characteristics
„ For example, threshold test
† 0<VOL<VIL
† VIH<VOH<VCC
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 29
 Types of Test
† AC parametric tests
„ Measure transient electronic characteristics
„ For example:
† Rise time & fall time tests

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 30

 Types of Test
† Production testing
„ Every fabricated chip is subjected to production
tests
„ The test patterns may not cover all possible
functions and data p
patterns but must have a highg
fault coverage of modeled faults
„ The main driver is cost, since every device must be
tested Test time must be absolutely minimized
tested.
„ Only a go/no-go decision is made
„ Test whether some device-under-test parameters
p
are met to the device specifications under normal
operating conditions
† Burn-In testing
„ Ensure reliability of tested devices by testing
„ Detect the devices with potential failures

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 31

 Types of Test
„ The potential failures can be accelerated at elevated
temperatures
„ The devices with infant mortality failures may be
screened out by a short-term burn-in test in an
accelerate
† Failure rate versus product lifetime (bathtub
curve)

Infant Working lifetime Wear out

Failure rate

mortality

Time

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 32

 Testing Economics
† Chips must be tested before they are
assembled onto PCBs,, which,, in turn,, must be
tested before they are assembled into systems
† The rule of ten
„ If a chip fault is not detected by chip testing, then
finding the fault costs 10 times as much at the PCB
l
levell as at the
h chip
hi llevell
„ Similarly, if a board fault is not found by PCB
testing then finding the fault costs 10 times as
testing,
much at the system level as at the board level
† Some claim that the rule of ten should be
renamed the rule of twenty
„ Chips,
p , boards,, and systems
y are more complex
p

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 33

 VLSI Chip Yield
† A manufacturing defect is a finite chip area
with electrically
y malfunctioning
g circuitry
y
caused by errors in the fabrication process
† A chip
p with no manufacturing g defect is called a
good chip
† Fraction ((or p
percentage)
g ) of g
good chips
p
produced in a manufacturing process is called
the yield. Yield is denoted by symbol Y
† Cost of a chip
Cost of fabricating and testing a wafer
Yield x Number of chip sites on the wafer

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 34

 VLSI Chip Yield

Good chips
Faulty chips

Defects
W f
Wafer
Wafer yield = 12/22 = 0.55 Wafer yield = 17/22 = 0.77

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 35

 Fault Coverage & Defect Level
† Fault coverage (FC)
„ The measure of the ability of a test (a collection of
test patterns)) to d
detect a given ffaults
l that
h may
occur on the device under test
„ FC
FC=#(detected
#(detected faults)/#(possible faults)
† Defect level (DL)
„ The ratio of faulty
y chips
p amongg the chips
p that pass
p
tests
„ DL is measured as defects per million (DPM)
„ DL is a measure of the effectiveness of tests
„ DL is a quantitative measure of the manufactured
product q
p quality.
y For commercial VLSI chipsp a DL
greater than 500 DPM is considered unacceptable
† DL = 1 − Y (1 − FC ) and 0 < DL ≤ 1 − Y

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 36

 Defect Level & Quality Level
† For example, required FC for DL=200 DPM
Y(%) 10 50 90 95 99
FC(%) 99.991 99.97 99.8 99.6 98
† Quality level (QL)
„ The fraction of good parts among the parts that
pass all the tests and are shipped
„ QL = 1 − DL = Y (1 − FC ) and 0 ≤ QL ≤ 1
† Consequently, fault coverage affects the
quality level

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 37

 Outline
† Basics
† Fault Modeling
† Design-for-Testability

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 38

 Test Process
† The testing problem
„ Given a set of faults in the circuit under test (or
device under test), how do we obtain a certain
(small) number of test patterns which guarantees a
certain (high) fault coverage?
† Test process
„ What faults to test? (fault modeling)
„ How are test pattern obtained? (test pattern
g
generation) )
„ How is test quality (fault coverage) measured?
(fault simulation)?
„ How are test vectors applied and results evaluated?
(ATE/BIST)

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 39

 Defect Categories
† Defect categories
„ Random defects, which are independent of designs
and processes
„ Systematic defects, which depend on designs and
processes used for manufacturing
† For example, random defects might be caused by
random particles scattered on a wafer during
manufacturing

A resistive open defect [Source: Cadence]

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 40

 Logical Fault Models
† Systematic defects might be caused by process
variations, signal integrity, and design integrity
issues.
† It is possible both random and systematic defects
could happen on a single die
† With the continuous shrinking of feature sizes,
somewhere below the 180nm technology node, node
system defects have a larger impact on yield than
random defects
† Logical faults
„ Logical
g faults represent
p the physical
p y defects on the
behaviors of the systems

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 41

 Why Model Faults
† I/O function tests inadequate for manufacturing
(functionality versus component and interconnection
testing)
† Real defects (often mechanical) too numerous and
often not analyzable
† A fault model identifies targets for testing
† A fault model makes analysis possible
† Effectiveness measurable by experiments

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 42

 Single Stuck-At Fault
† Single (line) stuck-at fault
„ The given line has a constant value (0/1)
independent of other signal values in the circuit
† Properties
„ Only one line is faulty
„ The faulty line is permanently set to 0 or 1
„ The
h fault
f l can beb at an input or output off a gate
„ Simple logical model is independent of technology
details
„ It reduces the complexity of fault-detection
algorithms
g
† One stuck-at fault can model more than one
kind of defect
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 43
 Single Stuck-At Fault Example
† A circuit with single stuck-at fault

1
1
0 ((1))
1 s/1
0

POWER Output
O t t
Shorted
to 1

OUT
IN

GROUND

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 44

 Number of Single Stuck-At Faults
† Number of fault sites in a Boolean gate circuit
„ #PI + #gates + #(fanout branches)
† Example: XOR circuit has 12 fault sites ( )
and 24 single stuck-at faults
Faulty circuit value
s/0 Good circuit value
c j
0(1)
a d ( )
1(0)
1 g h
z
0 1
i
b e 1
f k

Test p
pattern ((vector)) for h s/0 fault

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 45

 Transistor Faults
† MOS transistor is considered an ideal switch
and two types of faults are modeled
„ Stuck-open -- a single transistor is permanently
stuck in the open state
† T
Turn th
the circuit
i it iinto
t a sequential
ti l one
† Need a sequence of at least 2 tests to detect a single
fault
† Unique to CMOS circuits
„ Stuck-on -- a single transistor is permanently
shorted
h d irrespective off its gate voltage
l
† Detection of a stuck-open fault requires two
vectors
t
† Detection of a stuck-short fault requires the
measurementt off quiescent
i t currentt (IDDQ)
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 46
 Transistor Stuck-Open Fault
† Example:
Vector 1: test for A s/0
(I iti li ti vector)
(Initialization t )
Vector 2 (test for A s/1)
VDD Two-vector stuck-open test
pMOS
can be constructed by
A ordering
g two stuck-at tests
1 0
Stuck-open

0 0
B
C
0 1(Z)

Good circuit states

nMOS
Fa lt circuit
Faulty circ it states
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 47
 Test Stuck-On Fault Using IDDQ
† Example:
Test vector for A s/0

VDD
pMOS
MOS IDDQ path in
faulty circuit
A
1 Stuck-on
Stuck on

0
B Good circuit state
C
0 (X)

nMOS
Faulty
y circuit state

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 48

 IDDQ Test in Nano-scale Era
† Major problem: may results in unacceptable
yield loss

Mean of fault-free Mean of faulty

current current

Density

IDDQ density function

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 49

 Test & Test Set
† A test for a fault α in a circuit C is an input
combination for which the output(s) of C is
different when α is present than when it is not.
„ A.k.a. test pattern or test vector
„ X detect α then f ( X ) ⊕ fα ( X ) = 1
† A test set for a class of faults A is a set of
tests T such h ∀α ∈ A, ∃t ∈ T and
h that d t detects
d α
„ The test set for a fault α is Tα = f ⊕ fα
„ For example,
l
Tα = f ⊕ fα
X1
X2 = ( X1 X 2 + X 3 X 4 ) ⊕ X1 X 2
f=X1X2+X3X4
X3 s/0 = X1 X 3 X 4 + X 2 X 3 X 4
X4 = {0011,0111,1011}
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 50
 Testing & Diagnosis
† Testing is a process which includes test
pattern generation, test pattern application,
and output evaluation.
† Fault detection tells whether a circuit is
fault-free or not
† Fault location provides the location of the
detected fault
† Fault diagnosis
g provides the location and the
p
type of the detected fault
„ The input X distinguishes a fault α from another
fault β iff fα ( X ) ≠ f β ( X ) , i.e., fα ( X ) ⊕ f β ( X ) = 1

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 51

 Testing & Diagnosis
† Example:

a b c ca/0 ca/1 cb/0 cb/1 cc/0 cc/1

a c 0 0 0 0 1 0 1 0 1
b 0 1 1 1 1 0 1 0 1
1 0 1 0 1 1 1 0 1
1 1 1 1 1 1 1 0 1

† Ca/0 and Cc/0 are detected by the test pattern

(1 0)
(1,0)
† If we apply two test patterns: (1,0) & (0, 1)
„ T
Two corresponding
di outputs are faultyÆC
f l ÆCc/0
„ Only the output with respect to the input (1,0) is
faultyÆCa/0
Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 52
 Outline
† Basics
† Fault Modeling
† Design-for-Testability (Source: Prof. David
Harris)

Advanced Reliable Systems (ARES) Lab. Jin-Fu Li, EE, NCU 53

Stuck-At Faults
† How does a chip fail?
„ Usually failures are shorts between two conductors
or opens in a conductor
„ This can cause very complicated behavior
† A simpler model: Stuck-At
„ Assume all failures cause nodes to be “stuck-at” 0
or 1
1, i.e.
i e shorted to GND or VDD
„ Not quite true, but works well in practice
Examples
Observability & Controllability
† Observability: ease of observing a node by
watching external output pins of the chip
† Controllability: ease of forcing a node to 0 or 1
by driving input pins of the chip

† Combinational
Co b at o a logic
og c is
s usually
usua y easy to observe
obse e
and control
† Finite state machines can be very difficult,
requiring many cycles to enter desired state
„ Especially
p y if state transition diagram
g is not known to
the test engineer
Test Pattern Generation
† Manufacturing test ideally would check every
node in the circuit to prove it is not stuck.
† Apply the smallest sequence of test vectors
necessary to prove each node is not stuck.

† Good obse
observability
ab ty and
a d controllability
co t o ab ty reduces
educes
number of test vectors required for
manufacturingg test.
„ Reduces the cost of testing
„ Motivates design-for-test
Test Example
SA1 SA0
† A3
† A2 A3
A2
n1

† A1 Y

n2 n3
† A0 A1
A0

† n1
† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 A3 n1
A2
† A1 Y

† A0 A1
n2 n3

† n1 A0

† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 Y

† A0 A1
n2 n3

† n1 A0

† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 {0100} {0110} Y

† A0 A1
n2 n3

† n1 A0

† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 {0100} {0110} Y

† A0 {0110} {0111} A1
n2 n3

† n1 A0

† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 {0100} {0110} Y

† A0 {0110} {0111} A1
n2 n3

† n1 {1110} {0110} A0

† n2
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 {0100} {0110} Y

† A0 {0110} {0111} A1
n2 n3

† n1 {1110} {0110} A0

† n2 {0110} {0100}
† n3
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
} A3 n1
A2
† A1 {0100} {0110} Y

† A0 {0110} {0111} A1
n2 n3

† n1 {1110} {0110} A0

† n2 {0110} {0100}
† n3 {0101} {0110}
† Y

† Minimum set:
Test Example
SA1 SA0
† A3 {0110} {1110}
† A2 {
{1010}
} {
{1110}
}
A3 n1
† A1 {0100} {0110} A2
Y
† A0 {0110} {0111} n2 n3
A1
† n1 {1110} {0110} A0

† n2 {0110} {0100}
† n3 {0101} {0110}
† Y {0110} {1110}

† Minimum set: {0100, 0101, 0110, 0111, 1010,

1110}
Design for Test
† Design the chip to increase observability and
controllability
y

† If each register could be observed and

controlled, test problem reduces to testing
combinational logic between registers.

† Better yet
yet, logic blocks could enter test mode
where they generate test patterns and report
the results automatically.
Scan
† Convert each flip-flop to a scan register SCAN CLK

„ Only costs one extra multiplexer

Flop
SI Q
D
† Normal mode: flip-flops behave as usual
† Scan mode: flip-flops
p p behave as shift register
g

† Contents of flops scan-in

can be scanned

Flop

Flop

Flop
out and new
Flop

Flop

Flop
Logic Logic

values scanned
inputs Cloud Cloud outputs
Flop

Flop

Flop
in
Flop

Flop

Flop
scanout
Scannable Flip-flops

SCAN
SCAN CLK
φ φ Q
D
D 0 X

Fllop
Q Q
SI 1 SI φ φ
(a) φ φ

(b)
φ φ

φd

φ D
φd φ Q
SCAN
φd X
Q
φs φ φ
φs φ
SI
(c)
φs
φ φ
Built-in Self-test
† Built-in self-test lets blocks test themselves
„ Generate pseudo-random inputs to comb. logic
„ Combine outputs into a syndrome
„ With high probability, block is fault-free if it
produces
d th
the expected
t d syndrome
d
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1
2
3
4
5
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2
3
4
5
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3
4
5
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3 010
4
5
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3 010
4 100
5
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3 010
4 100
5 001
6
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3 010
4 100
5 001
6 011
7
PRSG
† Linear Feedback Shift Register
„ Shift register with input taken from XOR of state
„ Pseudo-Random Sequence Generator

Step Q
CLK
0 111
Q[0] Q[1] Q[2]
Flop

Flop

Flop
D D D
1 110
2 101
3 010
4 100
5 001
6 011
7 111 (repeats)
BILBO
† Built-in Logic Block Observer
„ Combine scan with PRSG & signature analysis

D[0] D[1] D[2]

C[0]
C[1]

Q[2] / SO

Flop

Flop

Flop
SI 1
0 Q[0]
Q[1]

MODE C[1] C[0]

Scan 0 0
Logic Signature
PRSG Test 0 1
Cloud Analyzer
Reset 1 0
Normal 1 1
Boundary Scan
† Testing boards is also difficult
„ Need to verify solder joints are good
† Drive a pin to 0, then to 1
† Check that all connected pins get the values
† Through-hold
h h h ld b
boards
d usedd “b
“bed
d off nails”
l ”
† SMT and BGA boards cannot easily contact
pins
† Build capability of observing and controlling
pins into each chip to make board test easier
Boundary Scan Example

PackageInterconnect

CHIP B CHIP C

Serial Data Out

CHIP A CHIP D

IO pad and Boundary Scan

Cell

Serial Data In
Boundary Scan Interface
† Boundary scan is accessed through five pins
„ TCK: test clock
„ TMS: test mode select
„ TDI: test data in
„ TDO: test data out
„ TRST*: test reset (optional)

† Chips with internal scan chains can access the

chains
h i through
th h boundary
b d scan for
f unified
ifi d test
t t
strategy.
Summary
† Think about testing from the beginning
„ Simulate as you go
„ Plan for test after fabrication

† “If you don’t test it, it won’t work!

(Guaranteed)”