Upload
kirtesh-tiwari
View
221
Download
0
Embed Size (px)
Citation preview
7/28/2019 ADVANCED VLSI CHAP5-5
1/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Topics
State assignment.
Power optimization of sequential machines.
Design validation.
Sequential testing.
7/28/2019 ADVANCED VLSI CHAP5-5
2/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
State assignment
Encoding bits in symbolic state = state
assignment.
State assignment affects:
combinational logic area;
combinational logic delay;
memory element area.
7/28/2019 ADVANCED VLSI CHAP5-5
3/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
State assignment in n-space
0
s1 code = 111
s2 code = 110
1
1
1
7/28/2019 ADVANCED VLSI CHAP5-5
4/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
State assignment and delay
output
Next state
7/28/2019 ADVANCED VLSI CHAP5-5
5/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Power optimization
Memory elements stop glitch propagation:
7/28/2019 ADVANCED VLSI CHAP5-5
6/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Sequential testing
Much harder than combinational testing
cant set memory element values directly.
Must apply sequences to put machine in
proper state for test, be able to observe
value of test.
7/28/2019 ADVANCED VLSI CHAP5-5
7/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Example
7/28/2019 ADVANCED VLSI CHAP5-5
8/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Testing the machine
To test NAND for stuck-at-1, must set both
NAND inputs to 1.
Primary input i1 can be controlled directly.
To set lower NAND input, must set state to
ps0 = ps1 = 1.
7/28/2019 ADVANCED VLSI CHAP5-5
9/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Example state machine
State codes:
s0 = 11
s1 = 10
s2 = 01
s3 = 00
7/28/2019 ADVANCED VLSI CHAP5-5
10/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Controlling an FSM
Dont know initial state of machine.
Must find a sequence which drives machine
to required state independent of initial state.
State sequence for test:
* -> s0 -> s1 -> s3.
7/28/2019 ADVANCED VLSI CHAP5-5
11/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Time-frame expansion
A model for sequential test: unroll machine
in time.
Time frame expansion illustrates how
single-stuck-at fault in sequential machine
appears to be multiple-SA fault.
7/28/2019 ADVANCED VLSI CHAP5-5
12/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Time-frame expansion example
7/28/2019 ADVANCED VLSI CHAP5-5
13/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Unreachable states
State assignment may cause some states to
be unreachable.
As a result, it may not be possible to apply
some required test values.
7/28/2019 ADVANCED VLSI CHAP5-5
14/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Unreachable state example
s0 s1
s2
1/
0/
1/
0/0/ 1/
7/28/2019 ADVANCED VLSI CHAP5-5
15/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Example
State codes:
s0 = 00
s1 = 01
s2 = 10.
This creates a fourth state which is
unreachable.
7/28/2019 ADVANCED VLSI CHAP5-5
16/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Implemented FSM
00 01
10 11
1/ 0/
1/
0/0,1/0/
1/
7/28/2019 ADVANCED VLSI CHAP5-5
17/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
LSSD
LSSD = level-sensitive scan design.
Way to achieve full controllability,
observability of registers.
Links all registers in a scan chain.
7/28/2019 ADVANCED VLSI CHAP5-5
18/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
LSSD latch
7/28/2019 ADVANCED VLSI CHAP5-5
19/19
Modern VLSI Design 4e: Chapter 5 Copyright 2008 Wayne Wolf
Partial scan
Full scan is expensivemust roll out and
roll in state many times during a set of tests.
Partial scan selects some registers forscanability.
Requires analysis to choose which registers
are best for scan.