Download
1 / 52
520 likes | 523 Views
This lecture introduces control handshake circuits in VLSI programming, covering topics such as transistor scaling, CMOS technology, Boolean functions, production rules, combinational and sequential gates, and handshake protocols.
E N D
Introduction to VLSI ProgrammingTU/e course 2IN30 Lecture 2:Control Handshake Circuits (1) Prof.dr.ir Kees van Berkel [Dr. Johan Lukkien] [Dr.ir. Ad Peeters]
Transistors • CMOS is the dominant IC technology today (Complementary Metal Oxide Semiconductor) • Two types of transistors are used • PMOS and NMOS • Dimensions of transistors are scaled by 2 in every new generation • 0.5 - 0.35 - 0.25 - 0.18 - 0.12 - 90n - 70n - … • This halves their area and makes them faster
CMOS circuits • Pull-up stack consisting of only P-mosts • Pull-down stack consisting of only N-mosts • Only inverting gates can thus be formed Vdd Pull-up P + V – Pull-down N Vss
Boolean functions and transistors • Transistors can be put in series • Conducting only if all conducting • This implements an AND function • Transistors can be put in parallel • Conducting if either is conducting • This implements an OR function • Networks can build AND/OR functions
Production rules • Production rules are guarded commands that specify (CMOS) gates • F z, G z • Interpretation • do F then z:=true or G then z:=false od • Guards must be mutually exclusive (environment) • A gate is combinational if F G is a tautology and it is sequential (state-holding) otherwise • Guards must be stable: once a guard is true it must remain true until completion of transition
Combinational CMOS gates • Guards of production rules are complementary F z, F z • This translates into z = F • Combinational functions can be decomposed into inverting boolean functions • These can be implemented directly in CMOS transistor stacks
a z b NAND gate Vdd a b • z = (a b) • Inverting function, hence single CMOS stage • a b z • Two P-mosts in parallel • a b z • Two N-mosts in series z b a Vss
a z b AND gate Vdd a b • z = a b • a b z • a b z • Non-inverting function, hence two CMOS stages • First stage: NAND-gate • a b y • a b y • Second stage: Inverter • y z • y z z b y a Vss
And-Or-Invert functions Vdd c • z = (a (b c)) • Inverting function, hence single CMOS stage • a (b c) z • Three P-mosts • a ( b c) z • Three N-mosts a b z c b a Vss
Exclusive-Nor in 10 transistors • z = a b • = (a b) (a b) • = (a b) (a b) • = ((a b) (a b)) • y = (a b) Nand-gate, 4 mosts • z = (y (a b)) Or-And-Inv-gate, 6 mosts
Sequential CMOS gates • Guards of production rules are not complementary F z, G z • This translates into z = F (z G) • Or (equivalently) z = G (z F) • This can be decomposed in two combinational functions y = (F (z G)) and z =y • Combinational function F (z G) can be transformed into basic inverting functions
Realization of a Muller-C element • Production rules • a b z, a b z • Implementation • z = F (z G ) • z = a b (z (a b )) • z = (a b) (b z) (z a) • z = majority(a,b,z) a C z b a z Maj b
Vdd a b a b z z z b b a a Vss Realization of a Muller-C element
Realization of a Muller-C element Vdd b a b a z z z a b b a Vss
Realization of an asymmetric C element a + • Production rules • a b z, b z • Implementation • z = F (z G ) • z = (a b) (z b) • z = b (a z) • Or-And-Inv plus an inverter • 8 transistors C z b
VLSI basics Vdd (power) Charge Q gate + V – wire C Vss (ground)
VLSI metrics dimensionless quantities (0.25 m CMOS): A area gate equivalent (Nand, 4 mosts) (33 m2, or 30,000 geq/mm2) T time gate delay (0.35 nanosecond) (per basic inverting CMOS gate) E energy transition (1 picojoule) (per basic inverting CMOS stage)
Handshake protocol • Handshake between active and passive partner • Communication is by means of alternating request (from active to passive) and acknowledge (from passive to active) signals • Active: send request, then wait for acknowledge • Passive: wait for request, then send acknowledge Active Passive
Sequencer Handshake component: sequencer Master Task 1 Task 2
Four-phase handshake protocol • Circuit level implementation has separate wires for request and acknowledge • Four-phase handshake protocol implements return-to-zero of these wires Active Side Req := 1 ; Wait (Ack); Req := 0 ; Wait (-Ack); Passive Side Wait (Req); Ack := 1; Wait (-Req); Ack := 0; Req Ack
request ar active side passive side acknowledge ak request ar acknowledge ak time Handshake signaling event sequence: arakarak
Handshake behaviors Let xibe boolean variables, and Si commands: • skip always terminates without effect • x is a shorthand for x:= true and x for x:= false • S1 ; S2 denotes sequential execution of S1 and S2 • S1 || S2 denotes parallel execution of S1 and S2 Program notation inspired by [Martin].
Handshake behaviors Let Gibe boolean expressions. • Selection[G1 S1 [] … [] GN SN ] execute an arbitrary Si for which guard Gi holds. When no guard holds then suspend execution until otherwise. • Repetition[G1 S1 [] … [] GN SN ] repeatedly execute Si for which Gi holds until all guards are false.
Useful shorthands • ‘wait until’ [G] = [G skip] • Note: [G] ; S = [G S] • Unbounded repetition [S] = [true S]
Useful shorthands • Four-phase handshakes • a= [ar] ; ak ; [ar] ; ak • a = ar ; [ak] ; ar ; [ak] • Two-phase handshakes • a= [ar] ; ak • a= [ar] ; ak • a= ar ; [ak] • a= ar ; [ak]
Reorder properties In the absence of timing assumptions, • One cannot observe the order of output transitions x1 ; x2 = x2 ; x1 = x1 || x2 • One cannot fix the order of input transitions [x1] ; [x2] = [x2] ; [x1] = [x1] || [x2]= [x1 x2]
Enclosure and properties • Enclosure • a : S = [ ar] ; S ; ak • a : S = [ ar] ; S ; ak • Reorder property a : b = [ar] ; ([br] ;bk) ; ak = [br] ; ([ar] ;ak) ; bk = b : a
Decomposition rule • Let program P = … S … and let a be a “fresh” channel • Program P can be decomposed into two parallel processes: P’ = … a ; a … and [a : S ; a ]
a b a b | c ; c b Some handshake components • Repeater : [a : [b ; b] ] • Mixer : [ [ a : c ; [a : c] [] b : c ; [b : c] ] ] • Sequencer : [[a : (b ; b ; c) ] ; [a: c]] a
Handshake circuit: duplicator • For each handshake on a0 the duplicator produces two handshakes on a1 • [[a0 : (a1 ; a1 ; a1) ] ; [a0: a1]] • cf. Handshake behavior sequencer.
Production rules • Production rules are guarded commands that specify (CMOS) gates • F z, G z • Interpretation • do F then z:=true or G then z:=false od • Guards must be mutually exclusive (environment) • A gate is combinational if F G is a tautology and it is sequential (state-holding) otherwise • Guards must be stable: once a guard is true it must remain true until completion of transition
Behavior of a gate network • Gate network is the union of all pairs of production rules (gates) • The concurrent execution of this set of PRs amounts to [Martin]: [ select a PR ; fire that PR] • If guard of PR equals false, firing = skip • (firing a PR is an atomic action)
Initializable A handshake componentrealization is initializable : • when all inputs are false, the gate network must autonomously proceed to an initial state; • when all passive inputsare false, the component must autonomously proceed to a state with all active outputs false.
Handshake components: realization From handshake notation to gate network in 8 steps: • Specify component in handshake notation. • Expand to individual boolean variables (wires). • Introduce auxiliary state variables (if required). • Derive a set of production rules that implements this refined specification. • Make production rules more symmetric (cheaper). • (Verify isochronic forks.) • Verify initialization constraints. • Analyze time, area, and energy.
Handshake components realizations • Connector: trivial • Repeater: alternative ‘symmetrizations’ • Mixer: isochronic forks • Sequencer: introduction of auxiliary variable • Duplicator: up to you? • Selector: up to you!
Connector realization a • Behavior: [a : b ; a : b ] • Expansion: [ [ar] ; br ; [bk] ; ak ; [ar] ; br ; [bk] ; ak] • Production rules: bk ak ar br bk ak ar br • A pair of wires (!): no area, no delay, no energy. b
a b Repeater realization • Behavior: [a : [b ; b] ] • Expansion: [ [ar] ; [ br ; [bk] ; br ; [bk] ] ; ak ] • Production rules: false ak ar bk br true ak bk br • However, not initializable!
Repeater: area, delay, energy Repeater: area, delay, energy • Area: 2 gate equivalents • Delay per cycle: 2 gate delays • Energy per cycle: 2 transitions
Mixer realization a b | • Behavior: [ [ a : c ; a : c [] b : c ; b : c ] ] • Restriction: arbr must hold at all times! • Expansion: [ [ [ar] ; cr ; [ck] ; ak ; [ar] ; cr ; [ck] ; ak [] [br] ; cr ; [ck] ; bk ; [br] ; cr ; [ck] ; bk ] ] c
a b | c Mixer realization • Production rules: ar ck ak br ck bk ck ak ck bk arbr cr arbr cr • More symmetric production rules: ar ck ak ar ck ak ar ck ak ar ck ak premature ak more expensive
Mixer realizations Mixer: area, delay, energy • Area: 6 gate equivalents • Delay per cycle: 8 gate delays • Energy per cycle: 8 transitions
a #2 b Assignment: duplicator realization • Behavior: [[a : (b ; b ; b) ] ; [a: b]] • Required: realization with 2 sequential gates(sequencer + mixer requires 3 sequential gates) • Follow all 8 realization steps!! • Add comparison with sequencer+mixer realization.
Duplicator chains • Assume aM toggles at frequency f. • Hence a0 toggles at frequency f / 2M. • Let Edup be the duplication energy per cycle. • Power of duplicator chain equalsP = f Edup (1/2 + 1/4 + 1/8 + ...) < f Edup
For those who are interested in the details • Synthesis of Asynchronous VLSI Circuits • Alain J. Martin • Caltech CS-TR-93-28 • PostScript link via async.bib (html version) • Programming in VLSI: From communicating processes to delay-insensitive circuits • Pages 1–64 in C.A.R. Hoare, ed., • Developments in Concurrency and Communication
General asynchronous background • Principles of Asynchronous Circuit Design • Eds. Jens Sparsø and Steve Furber • Kluwer Academic Press, Dec. 2001 • ISBN 0-7923-7613-7 • The ‘Asynchronous’ Bibliography • http://www.win.tue.nl/async-bib/ • The Asynchronous Logic Home Page • http://www.cs.man.ac.uk/async/
