CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002...
-
Upload
arron-hancock -
Category
Documents
-
view
224 -
download
0
Transcript of CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002...
![Page 1: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/1.jpg)
CSE477 L17 Static Sequential Logic.1 Irwin&Vijay, PSU, 2002
CSE477VLSI Digital Circuits
Fall 2002
Lecture 17: Static Sequential Circuits
Mary Jane Irwin ( www.cse.psu.edu/~mji ) www.cse.psu.edu/~cg477
[Adapted from Rabaey’s Digital Integrated Circuits, ©2002, J. Rabaey et al.]
![Page 2: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/2.jpg)
CSE477 L17 Static Sequential Logic.2 Irwin&Vijay, PSU, 2002
Review: How to Choose a Logic Style
Must consider ease of design, robustness (noise immunity), area, speed, power, system clocking requirements, fan-out, functionality, ease of testing
Style # Trans Ease Ratioed? Delay Power
Comp Static 8 1 no 3 1
CPL* 12 + 2 2 no 4 3
domino 6 + 2 4 no 2 2 + clk
DCVSL* 10 3 yes 1 4
4-input NAND
* Dual Rail
Current trend is towards an increased use of complementary static CMOS: design support through DA tools, robust, more amenable to voltage scaling.
![Page 3: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/3.jpg)
CSE477 L17 Static Sequential Logic.3 Irwin&Vijay, PSU, 2002
A time was probably coming when components would operate so quickly that the distance that signals had to travel would intimately affect the speed of most commercial computers. Then miniaturization and speed would become more nearly synonymous.
The Soul of a New Machine, Kidder, pg. 160
![Page 4: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/4.jpg)
CSE477 L17 Static Sequential Logic.4 Irwin&Vijay, PSU, 2002
Sequential Logic
CombinationalLogic
clock
Outputs
Sta
teR
egis
ters
NextState
CurrentState
Inputs
![Page 5: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/5.jpg)
CSE477 L17 Static Sequential Logic.5 Irwin&Vijay, PSU, 2002
Timing Metrics
clock
In
Out
datastable
outputstable
outputstable
time
time
time
clock
D QIn Out
tsu thold
tc-q
![Page 6: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/6.jpg)
CSE477 L17 Static Sequential Logic.6 Irwin&Vijay, PSU, 2002
System Timing Constraints
CombinationalLogic
clock
Outputs
Sta
teR
egis
ters
NextState
CurrentState
Inputs
T tc-q + tplogic + tsutcdreg + tcdlogic thold
T (clock period)
![Page 7: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/7.jpg)
CSE477 L17 Static Sequential Logic.7 Irwin&Vijay, PSU, 2002
Static vs Dynamic Storage
Static storage preserve state as long as the power is on have positive feedback (regeneration) with an internal
connection between the output and the input useful when updates are infrequent (clock gating)
Dynamic storage store state on parasitic capacitors only hold state for short periods of time (milliseconds) require periodic refresh usually simpler, so higher speed and lower power
![Page 8: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/8.jpg)
CSE477 L17 Static Sequential Logic.8 Irwin&Vijay, PSU, 2002
Latches vs Flipflops
Latches level sensitive circuit that passes inputs to Q when the clock is
high (or low) - transparent mode input sampled on the falling edge of the clock is held stable
when clock is low (or high) - hold mode
Flipflops (edge-triggered) edge sensitive circuits that sample the inputs on a clock
transition- positive edge-triggered: 0 1
- negative edge-triggered: 1 0
built using latches (e.g., master-slave flipflops)
![Page 9: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/9.jpg)
CSE477 L17 Static Sequential Logic.9 Irwin&Vijay, PSU, 2002
Review: The Regenerative Property
If the gain in the transient region is larger than 1, only A and B are stable operation points. C is a metastable operation point.
A
Vi2 Vo2
Vi1 = Vo2
Vi2
= V
o1
B
C
Vo1Vi1
cascaded inverters
![Page 10: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/10.jpg)
CSE477 L17 Static Sequential Logic.10 Irwin&Vijay, PSU, 2002
Bistable Circuits
The cross-coupling of two inverters results in a bistable circuit (a circuit with two stable states)
Have to be able to change the stored value by making A (or B) temporarily unstable by increasing the loop gain to a value larger than 1
done by applying a trigger pulse at Vi1 or Vi2
the width of the trigger pulse need be only a little larger than the total propagation delay around the loop circuit (twice the delay of an inverter)
Two approaches used cutting the feedback loop (mux based latch) overpowering the feedback loop (as used in SRAMs)
Vi1
Vi2
![Page 11: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/11.jpg)
CSE477 L17 Static Sequential Logic.11 Irwin&Vijay, PSU, 2002
Review (from CSE 271): SR Latch
S R Q !Q
0 0 Q !Q memory
1 0 1 0 set
0 1 0 1 reset
1 1 0 0 disallowed
S
RQ
!Q
![Page 12: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/12.jpg)
CSE477 L17 Static Sequential Logic.12 Irwin&Vijay, PSU, 2002
Review (from CSE 271): Clocked D Latch
clock
D L
atch
QD
D
Q
!Q
clock
clock
transparent mode
hold mode
![Page 13: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/13.jpg)
CSE477 L17 Static Sequential Logic.13 Irwin&Vijay, PSU, 2002
MUX Based Latches
Q
D
clk
0
1
Positive Latch
Q
D
clk
1
0
Negative Latch
Q = !clk & Q | clk & DQ = clk & Q | !clk & D
feedback
transparent when the clock is low
transparent when the clock is high
feedback
Change the stored value by cutting the feedback loop
![Page 14: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/14.jpg)
CSE477 L17 Static Sequential Logic.14 Irwin&Vijay, PSU, 2002
TG MUX Based Latch Implementation
Q
D
clk
clk
!clk
!clk
clk
input sampled(transparent mode)
feedback(hold mode)
clk
D L
atch
QD
![Page 15: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/15.jpg)
CSE477 L17 Static Sequential Logic.15 Irwin&Vijay, PSU, 2002
PT MUX Based Latch Implementation
QD
clk !Q
!clk
!clk
clk
input sampled(transparent mode)
feedback(hold mode)
Reduced clock load, but threshold drop at output of pass transistors so reduced noise margins and performance
![Page 16: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/16.jpg)
CSE477 L17 Static Sequential Logic.16 Irwin&Vijay, PSU, 2002
Latch Race Problem
CombinationalLogic
clk
Sta
teR
egis
ters
clk
B B’
Two-sided clock constraint
T tc-q + tplogic + tsu
Thigh tc-q + tcdlogic
B
Which value of B is stored?
![Page 17: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/17.jpg)
CSE477 L17 Static Sequential Logic.17 Irwin&Vijay, PSU, 2002
Master Slave Based ET Flipflop
QMD 0
1 Q1
0
SlaveMaster
QMD
clk
0
1 Q
clk
1
0
SlaveMaster
clk
QM
Q
D
clock
D F
F
QD
clk = 0 transparent hold
clk = 01 hold transparent
![Page 18: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/18.jpg)
CSE477 L17 Static Sequential Logic.19 Irwin&Vijay, PSU, 2002
MS ET Implementation
Q
D
clk
QM
I1
I2 I3
I4
I5 I6T2
T1T3
T4
Master Slave
!clk
clk
master transparentslave hold
master holdslave transparent
![Page 19: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/19.jpg)
CSE477 L17 Static Sequential Logic.21 Irwin&Vijay, PSU, 2002
MS ET Timing Properties
Assume propagation delays are tpd_inv and tpd_tx, that the contamination delay is 0, and that the inverter delay to derive !clk is 0
Set-up time - time before rising edge of clk that D must be valid
Propagation delay - time for QM to reach Q
Hold time - time D must be stable after rising edge of clk
3 * tpd_inv + tpd_tx
tpd_inv + tpd_tx
zero
![Page 20: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/20.jpg)
CSE477 L17 Static Sequential Logic.22 Irwin&Vijay, PSU, 2002
Set-up Time Simulation
-0.5
0
0.5
1
1.5
2
2.5
3
0 0.2 0.4 0.6 0.8 1
Vo
lts
Time (ns)
D clk
Q
QM
I2 out
tsetup = 0.21 ns
works correctly
![Page 21: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/21.jpg)
CSE477 L17 Static Sequential Logic.23 Irwin&Vijay, PSU, 2002
Set-up Time Simulation
-0.5
0
0.5
1
1.5
2
2.5
3
0 0.2 0.4 0.6 0.8 1
Vo
lts
Time (ns)
D clk
Q
QM
I2 out tsetup = 0.20 ns
fails
![Page 22: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/22.jpg)
CSE477 L17 Static Sequential Logic.24 Irwin&Vijay, PSU, 2002
Propagation Delay Simulation
-0.5
0
0.5
1
1.5
2
2.5
3
0 0.5 1 1.5 2 2.5
Vo
lts
Time (ns)
tc-q(LH) = 160 psec
tc-q(HL) = 180 psectc-q(LH) tc-q(HL)
![Page 23: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/23.jpg)
CSE477 L17 Static Sequential Logic.25 Irwin&Vijay, PSU, 2002
Reduced Load MS ET FF
!clkclk
QD
!clk clk
I1
I2 I4
I3
QM T2T1
reverse conduction
Clock load per register is important since it directly impacts the power dissipation of the clock network.
Can reduce the clock load (at the cost of robustness) by making the circuit ratioed
to switch the state of the master, T1 must be sized to overpower I2
to avoid reverse conduction, I4 must be weaker than I1
![Page 24: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/24.jpg)
CSE477 L17 Static Sequential Logic.26 Irwin&Vijay, PSU, 2002
Non-Ideal Clocks
!clk
clk
Ideal clocks
!clk
clk
Non-ideal clocksclock skew
1-1 overlap
0-0 overlap
![Page 25: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/25.jpg)
CSE477 L17 Static Sequential Logic.27 Irwin&Vijay, PSU, 2002
Example of Clock Skew Problems
D
clkX
!clk
!Q
!clk Q
clk
B
AP1
P2
P3
P4
I1 I2I3 I4
Race condition – direct path from D to Q during the short time when both clk and !clk are high (1-1 overlap)
Undefined state – both B and D are driving A when clk and !clk are both high
Dynamic storage – when clk and !clk are both low (0-0 overlap)
![Page 26: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/26.jpg)
CSE477 L17 Static Sequential Logic.28 Irwin&Vijay, PSU, 2002
Pseudostatic Two-Phase ET FF
D
clk1X
clk2
!Q
clk2 Q
clk1
B
AP1
P2
P3
P4
I1 I2I3 I4
clk2
clk1
master transparentslave hold
master holdslave transparent
dynamicstorage
tnon_overlap
![Page 27: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/27.jpg)
CSE477 L17 Static Sequential Logic.29 Irwin&Vijay, PSU, 2002
Two Phase Clock Generator
clk
clk1
clk2
A
clk
A
B
B
clk1
clk2
![Page 28: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/28.jpg)
CSE477 L17 Static Sequential Logic.31 Irwin&Vijay, PSU, 2002
Power PC Flipflop
D Q
clk
!clk
!clk
clk
01
10 1
!clk
clk
master transparentslave hold
master holdslave transparent
01 01
![Page 29: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/29.jpg)
CSE477 L17 Static Sequential Logic.33 Irwin&Vijay, PSU, 2002
Ratioed CMOS Clocked SR Latch
1
10
0
onoff
off->onoff->on
0
1
on
off
off
on
on
on
off
offM1
S R
clkclk
M2
M3
M4
M5
M6
M7
M8 0 10 1
![Page 30: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/30.jpg)
CSE477 L17 Static Sequential Logic.34 Irwin&Vijay, PSU, 2002
Sizing Issues
0
0.5
1
1.5
2
2 2.5 3 3.5 4
W/L5and6
!Q (
Vol
ts)
W/L2and4 = 1.5m/0.25 m
W/L1and3 = 0.5m/0.25 m
so W/L5and6 > 3
![Page 31: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/31.jpg)
CSE477 L17 Static Sequential Logic.35 Irwin&Vijay, PSU, 2002
Transient Response
0
1
2
3
0.9 1 1.1 1.2 1.3 1.4 1.5
Q &
!Q (
Vo
lts)
SET
Time (ns)
tc-!Q tc-Q
![Page 32: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/32.jpg)
CSE477 L17 Static Sequential Logic.36 Irwin&Vijay, PSU, 2002
6 Transistor CMOS SR Latch
clkclk
SR
M1
SR
clk
M2
M3
M4
M5M6
clk
![Page 33: CSE477 L17 Static Sequential Logic.1Irwin&Vijay, PSU, 2002 CSE477 VLSI Digital Circuits Fall 2002 Lecture 17: Static Sequential Circuits Mary Jane Irwin.](https://reader036.fdocuments.us/reader036/viewer/2022062301/56649ebd5503460f94bc6944/html5/thumbnails/33.jpg)
CSE477 L17 Static Sequential Logic.37 Irwin&Vijay, PSU, 2002
Next Lecture and Reminders Next lecture
Dynamic sequential circuits - Reading assignment – Rabaey, et al, 7.3, 7.7
Reminders Project prototypes due today Project final reports due December 5th HW4 due November 5th
HW5 out November 5th and due November 19th Final exam scheduled
- Monday, December 16th from 10:10 to noon in TBD