Sunteți pe pagina 1din 24

Design

for Test

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Validation and Test of


Manufactured Circuits
Goals of Design-for-Test (DFT)
Make testing of manufactured part swift and
comprehensive

DFT Mantra
Provide controllability and observability

Components of DFT strategy


Provide circuitry to enable test
Provide test patterns that guarantee reasonable
coverage
Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Test Classification

Diagnostic test
used in chip/board debugging
defect localization

go/no go or production test


Used in chip production

Parametric test

x [v,i] versus x [0,1]


check parameters such as NM, Vt, tp, T

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Design for Testability


Ninputs
Ninputs

Combinational

Koutputs
Combinational

Koutputs

Logic

Logic

Module

Module

Mstateregs
(a)Combinationalfunction

(b)Sequentialengine

2Npatterns

2N+Mpatterns

Exhaustive test is impossible or unpractical


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Controllability/Observabilit
y

Combinational Circuits:
controllable and observable - relatively easy to
determine test patterns

Sequential Circuits: State!


Turn into combinational circuits or use self-test

Memory: requires complex patterns


Use self-test

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Test Approaches
Ad-hoc testing
Scan-based Test
Self-Test
Problem is getting harder

increasing complexity and heterogeneous


combination of modules in system-on-a-chip.
Advanced packaging and assembly techniques
extend problem to the board level

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Generating and Validating


Test-Vectors

Automatic test-pattern generation (ATPG)


for given fault, determine excitation vector (called test vector)
that will propagate error to primary (observable) output
majority of available tools: combinational networks only
sequential ATPG available from academic research

Fault simulation
determines test coverage of proposed test-vector set
simulates correct network in parallel with faulty networks

Both require adequate models of faults in


CMOS integrated circuits

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Fault Models
Most Popular - Stuck - at model

sa0
(output)

0
1

sa1
(input)

Covers almost all (oth


occurring faults, such
opens and shorts.
Z

x1

x2

Digital Integrated Circuits

Design Methodologies

x3

, : x1 sa1
: x1 sa0 or
x2 sa0
: Z sa1
Prentice Hall 1995

Problem with stuck-at


model: CMOS open fault
x1

x2
x1

x2

Sequential effect

Needs two vectors to ensure detection

Other options: use stuck-open or stuck-short models


This requires fault-simulation and analysis at the sw
transistor level - Very expensive!
Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Problem with stuck-at


model: CMOS short fault
0
0

Digital Integrated Circuits

Causes short circuit between


Vdd and GND for A=C=0, B=1

Possible approach:
Supply Current Measurement (ID
but: not applicable for gigascale
integration

Design Methodologies

Prentice Hall 1995

Path Sensitization

Goals: Determine input pattern that makes a fault


controllable (triggers the fault, and makes its impact
visible at the output nodes)
1
Fault enabling 1
1
1
Fault propagation
0

sa0
1
1

Out

Techniques Used: D-algorithm, Podem

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Ad-hoc Test

data

address

data

test

address

Memory

Memory

select

Processor
Processor

I/Obus
I/Obus

Inserting multiplexer improves testability


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Scan-based Test
ScanIn

Digital Integrated Circuits

Combinational
Logic
A

Register

Register

In

ScanOut

Design Methodologies

Combinational

Out

Logic
B

Prentice Hall 1995

Polarity-Hold SRL
(Shift-Register Latch)
D
System Clock C
SI
Scan Data
Shift A Clock A
System Data

Q
L1

Q
SO

Shift B Clock

L2

SO

Introduced at IBM and set as company policy


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Scan-Path Register
OUT
SCAN

PHI2

PHI1

SCANIN

SCANOUT

IN

LOAD

Digital Integrated Circuits

KEEP

Design Methodologies

Prentice Hall 1995

Scan-based Test
Operation
In 0

ScanIn

Test

In1
Test

Test

In2
Test

Test

In 3
Test

Test

Test
ScanOut

Latch

Latch

Latch

Latch

Out0

Out1

Out2

Out3

Test
1
2
Ncycles
scanin
Digital Integrated Circuits

1cycle
evaluation
Design Methodologies

Ncycles
scanout
Prentice Hall 1995

Scan-Path Testing
A

REG[1]

REG[0]

REG[2]

REG[3]

SCANIN

REG[4]
COMPIN
COMP

REG[5]

SCANOUT

OUT

Partial-Scan can be more effective for pipelined da


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Boundary Scan (JTAG)


Printedcircuitboard
Logic

Scanout

si

so
scanpath

normalinterconnect

Scanin

PackagedIC

BondingPad

Board testing becomes as problematic as chip t


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Self-test
(Sub)Circuit
StimulusGenerator

Under

ResponseAnalyzer

Test

TestController

Rapidly becoming more important with increasin


chip-complexity and larger modules
Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Linear-Feedback Shift Register


(LFSR)
R

S0

S1

S2

1
0
1
1
1
0
0
1

0
1
0
1
1
1
0
0

0
0
1
0
1
1
1
0

Pseudo-Random Pattern Generator


Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

Signature Analysis
In
Counter
R

Counts transitions on single-bit stream


Compression in time

Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

BILBO
D0

B0

D1

D2

B1

mux

ScanIn

R
S0

S1

B0 B1

Operationmode

Normal

Scan
Patterngenerationor
Signatureanalysis
Reset

0 1
Digital Integrated Circuits

Design Methodologies

ScanOut
S2

Prentice Hall 1995

BILBO Application

Digital Integrated Circuits

Combinational
Logic

BILBOB

In

ScanOut

BILBOA

ScanIn

Design Methodologies

Combinational

Out

Logic

Prentice Hall 1995

Memory Self-Test
data in
Memory

FSM

UnderTest

dataout

Signature
Analysis

address&
R/Wcontrol

Patterns: Writing/Reading 0s, 1s,


Walking 0s, 1s
Galloping 0s, 1s
Digital Integrated Circuits

Design Methodologies

Prentice Hall 1995

S-ar putea să vă placă și