1 / 47

State Machine Signaling

State Machine Signaling. Timing Behavior Glitches/hazards and how to avoid them FSM Partitioning What to do when the state machine doesn’t fit! State Machine Signaling Introducing Idle States (synchronous model) Four Cycle Signaling (asynchronous model) Dealing with Asynchronous Inputs

marva
Download Presentation

State Machine Signaling

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. State Machine Signaling • Timing Behavior • Glitches/hazards and how to avoid them • FSM Partitioning • What to do when the state machine doesn’t fit! • State Machine Signaling • Introducing Idle States (synchronous model) • Four Cycle Signaling (asynchronous model) • Dealing with Asynchronous Inputs • Metastability and synchronization CS 150 - Spring 2008 – Lec #22 – Signaling - 1

  2. A B C D F Momentary Changes in Outputs • Can be useful—pulse shaping circuits • Can be a problem—incorrect circuitoperation (glitches/hazards) • Example: pulse shaping circuit • A' • A = 0 • delays matterin function D remains high for three gate delays after A changes from low to high F is not always 0 pulse 3 gate-delays wide CS 150 - Spring 2008 – Lec #22 – Signaling - 2

  3. + resistor A B open switch C D Oscillatory Behavior • Another pulse shaping circuit close switch initially undefined open switch CS 150 - Spring 2008 – Lec #22 – Signaling - 3

  4. Hazards/Glitches • Hazards/glitches: unwanted switching at the outputs • Occur when different paths through circuit have different propagation delays • As in pulse shaping circuits we just analyzed • Dangerous if logic causes an action while output is unstable • May need to guarantee absence of glitches • Usual solutions 1) Wait until signals are stable (by using a clock): preferable (easiest to design when there is a clock – synchronous design) 2) Design hazard-free circuits: sometimes necessary (clock not used – asynchronous design) CS 150 - Spring 2008 – Lec #22 – Signaling - 4

  5. 1 1 0 1 0 0 1 1 0 0 1 1 0 0 Types of Hazards • Static 1-hazard • Input change causes output to go from 1 to 0 to 1 • Static 0-hazard • Input change causes output to go from 0 to 1 to 0 • Dynamic hazards • Input change causes a double changefrom 0 to 1 to 0 to 1 OR from 1 to 0 to 1 to 0 CS 150 - Spring 2008 – Lec #22 – Signaling - 5

  6. A S B S' Static Hazards • Due to a literal and its complement momentarily taking on the same value • Thru different paths with different delays and reconverging • May cause an output that should have stayed at the same value to momentarily take on the wrong value • Example: A B F S S' F hazard static-0 hazard static-1 hazard CS 150 - Spring 2008 – Lec #22 – Signaling - 6

  7. A F 3 2 B 1 C Dynamic Hazards • Due to the same versions of a literal taking on opposite values • Thru different paths with different delays and reconverging • May cause an output that was to change value to change 3 times instead of once • Example: A C B1 B2 B3 F hazard dynamic hazards CS 150 - Spring 2008 – Lec #22 – Signaling - 7

  8. No Glitch in this case This is the fix Glitch in this case Eliminating Static Hazards • Following 2-level logic function has a hazard, e.g., when inputs change from ABCD = 0101 to 1101 1 CS 150 - Spring 2008 – Lec #22 – Signaling - 8

  9. Eliminating Dynamic Hazards • Very difficult! • A circuit that is static hazard free can still have dynamic hazards • Best approach: • Design critical circuits to be two level and eliminate all static hazards • OR, use good clocked synchronous design style 1 0 1 \A G1 B 0 1 Slow G3 1 0 1 1 0 \B 1 0 1 0 G2 \C 1 0 G5 F 1 0 A 1 0 G4 \B 1 0 V ery slow CS 150 - Spring 2008 – Lec #22 – Signaling - 9

  10. Hazard-Free Circuit Families • NORA, Domino, DCVS • Use “evaluate” signal • Every gate guaranteed to transition at most once • Very similar, we’ll consider Domino CS 150 - Spring 2008 – Lec #22 – Signaling - 10

  11. Domino • Basic Domino Gate • When Evaluation is LOW, Output is low • When Evaluation turns high, connection to power is off • If gate inputs are high, connection to ground is made and output (inverted) goes low to high • So: • Gate output transitions at MOST once, low to high • Gate cannot glitch CS 150 - Spring 2008 – Lec #22 – Signaling - 11

  12. Plus Cannot glitch Timing analysis (false path analysis) very simple Safe to connect Domino gates together Minus Non-inverting logic only Not functionally complete Use inverters on the circuit outputs and inputs to complete Glitches on inputs cause gate to fail Ensure circuit inputs are stable when evaluation is high Charge leaks away if Evaluation stays on too long Domino: Plusses and Minusses How to do the Evaluation signal? CS 150 - Spring 2008 – Lec #22 – Signaling - 12

  13. DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 13

  14. DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 14

  15. DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 15

  16. DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 16

  17. Using Domino in a Larger Circuit safely Domino Circuit Clocked by Evaluation Latch bank active when Evaluation = 1 Latch bank stable when Evaluation = 1 CS 150 - Spring 2008 – Lec #22 – Signaling - 17

  18. Key to Safe Operation • Inputs glitch/hazard free • Guaranteed by latch discipline • Foreach gate: • Inputs hazard-free => outputs hazard-free • By induction: • Every node in circuit is hazard-free CS 150 - Spring 2008 – Lec #22 – Signaling - 18

  19. Differential Cascode Voltage Switch • Two Domino Gates back-to-back • One realizes A, the other A’ • Achieve by dualizing pulldown trees • Note A, A’ therefore available for every DCVS output • Clever tricks can let one combine the pulldowns • Use BDDs! CS 150 - Spring 2008 – Lec #22 – Signaling - 19

  20. Nice properties of DCVS • Exactly one of A, notA will transition to high during evaluation • At most twice the size of DOMINO, static circuit (often less) • A XOR notA = 1 for every circuit output A is completion signal • Can use this to clock latches • Nice building block for unclocked circuits • Still has charge leakage problem • All other positive properties of Domino remain CS 150 - Spring 2008 – Lec #22 – Signaling - 20

  21. Domino In Static Logic • Key elements of Domino • Noninverting logic only • All nodes evaluate to 0 when eval = 0 (or 1) • Inputs change at most once, low to high • Problem • Leakage due to finite capacitance • Need access to transistor-level design • Question: Can we build DOMINO (also DCVS) using only static logic? CS 150 - Spring 2008 – Lec #22 – Signaling - 21

  22. Yes! • Key element of Domino: evaluate only once • All elements have one of two state changes • Low->high • Low->low (no change) • State change high->low forbidden • Let’s achieve that in full-static CS 150 - Spring 2008 – Lec #22 – Signaling - 22

  23. Static Domino AND Gate • To form A & B • A NAND B • NOR the result with a new signal, Evaluation’ • Evaluation is high when circuit is evaluated • Evaluation is low => evaluation’ is high output is 0 • Evaluation is high, Evaluation’ is low, NOR gate becomes an inverter • Output is A & B CS 150 - Spring 2008 – Lec #22 – Signaling - 23

  24. Static DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 24

  25. DOMINO AND Gate (Example) CS 150 - Spring 2008 – Lec #22 – Signaling - 25

  26. DOMINO AND Gate CS 150 - Spring 2008 – Lec #22 – Signaling - 26

  27. Domino Glitch-free when inputs and evaluation glitch-free Non-inverting logic only Requires transistor-level design Incorrect when inputs glitch Fast since pull-ups inactive during evaluation Static Domino Glitch-free when inputs and evaluation glitch-free Non-inverting logic only Use with any design style Correct when inputs glitch (but not glitch-free) Slow since double gate-delay Domino and Static Domino • Key: Evaluation line must be glitch-free CS 150 - Spring 2008 – Lec #22 – Signaling - 27

  28. FSM Partitioning • Why Partition? • What if programmable logic is limited in number of inputs and outputs that can be used in a particular device? • For PLAs, the number of product terms are limited, thus limiting the complexity of the next state and output functions CS 150 - Spring 2008 – Lec #22 – Signaling - 28

  29. Partitioning the State Machine • Suppose that FSM is partitioned so that states at the right are in one partition and states at the left are in the other • How do you support intersignaling between the state machine partitions? • It is usually a good idea to partition the machine so there are as few cross links as possible (min cut set in graph theoretic terms) CS 150 - Spring 2008 – Lec #22 – Signaling - 29

  30. Partitioning the State Machine • Solution: introduce idle states SA and SB • Machine at left enters SA allowing machine at right to exit SB • When machine at right returns to SB, machine at left exits SA CS 150 - Spring 2008 – Lec #22 – Signaling - 30

  31. Rules for Introducing Idle States CS 150 - Spring 2008 – Lec #22 – Signaling - 31

  32. Example: Partitioning the Up/Down Counter CS 150 - Spring 2008 – Lec #22 – Signaling - 32

  33. Example Partitioning: Traffic Light Controller • Main Controller vs. Counter/Timer • ST triggers transfer of control • TS or TL triggers return ofcontrol T00 T19 [TL] ST Reset T01 T09 T10 T18 (TL•C)' HG TL•C / ST TS / ST T02 T08 T11 T17 HY FY TS' TS' T03 T07 T12 T16 TS / ST TL+C' / ST FG T04 [TS] T06 T13 T15 (TL+C')' (a) Main controller T05 T14 (b) Counter/timer CS 150 - Spring 2008 – Lec #22 – Signaling - 33

  34. Partitioned FSM Block Diagram • Interface between the two partitions are the signals ST, TS, TL • NOTE: Main Controller and Timer use the same clock and are operating in a synchronous mode HRHYHG FRFYFG resetC traffic light controller ST TS TL timer CS 150 - Spring 2008 – Lec #22 – Signaling - 34

  35. Generalized Inter-FSM Signaling • Interlocked Synchronized Signaling CS 150 - Spring 2008 – Lec #22 – Signaling - 35

  36. Asynchronous Signaling • Also known as “speed-independent” signaling • Requester/client/master vs. Provider/Server/Slave CS 150 - Spring 2008 – Lec #22 – Signaling - 36

  37. Asynchronous Signaling • First consider the common clock case (synchronous) • Master asserts Request • Slave recognizes request, processes request, indicates completion by asserting Acknowledgement • Master accepts results, removes Request • Slave see Request removed, removes Acknowledge CS 150 - Spring 2008 – Lec #22 – Signaling - 37

  38. Asynchronous Signaling • What if Slave can’t respond in single cycle? Solution: Wait signaling • Slave inhibits master by asserting wait • When slave unasserts wait, master knows request has been processed, and can latch results CS 150 - Spring 2008 – Lec #22 – Signaling - 38

  39. True Asynchronous Signaling • Now remove the assumption of a single common clock • How do we make sure that receiver has seen the sender’s signal? Solution: Interlocked signaling • Four cycle signaling: assert Req, process request, assert ack, latch result, remove Req, remove Ack and start again • Sometimes called “Return to Zero” signaling 1 3 Req Data 4 2 Ack CS 150 - Spring 2008 – Lec #22 – Signaling - 39

  40. True Asynchronous Signaling • Alternative scheme: Two-Cycle Signaling • Non-return-to-zero signaling • Transaction start by Req lo-to-hi, finishes Ack lo-to-hi • Next transaction starts by Req hi-to-lo, finishes Ack hi-to-lo • Requires EXTRA state to keep track of the current sense of the transitions—faster than 4 cycle case, but usually involves more hardware 1 1 Req Data 2 2 Ack CS 150 - Spring 2008 – Lec #22 – Signaling - 40

  41. Self-Timed Circuits Uses Req/Ack signaling as described Components can be constructed with NO internal clocks Determines on its own when the request has been processed Concept of the delay line simply slows down the pass through of the Req to the Ack—usually matched to the worst case delay path Becoming MORE important for large scale VLSI chips were global clock distribution is a challenge True Asynchronous Timing Input Output Combinational logic Req Ack Delay CS 150 - Spring 2008 – Lec #22 – Signaling - 41

  42. Metastability and Asynchronous inputs • Clocked synchronous circuits • Inputs, state, and outputs sampled or changed in relation to acommon reference signal (called the clock) • E.g., master/slave, edge-triggered • Asynchronous circuits • Inputs, state, and outputs sampled or changed independently of a common reference signal (glitches/hazards a major concern) • E.g., R-S latch • Asynchronous inputs to synchronous circuits • Inputs can change at any time, will not meet setup/hold times • Dangerous, synchronous inputs are greatly preferred • Cannot be avoided (e.g., reset signal, memory wait, user input) CS 150 - Spring 2008 – Lec #22 – Signaling - 42

  43. Synchronization Failure • Occurs when FF input changes close to clock edge • FF may enter a metastable state – neither a logic 0 nor 1 – • May stay in this state an indefinite amount of time • Is not likely in practice but has some probability logic 1 logic 0 logic 0 logic 1 oscilloscope traces demonstrating synchronizer failure and eventual decay to steady state small, but non-zero probability that the FF output will get stuck in an in-between state CS 150 - Spring 2008 – Lec #22 – Signaling - 43

  44. Dealing with Synchronization Failure • Probability of failure can never be reduced to 0, but it can be reduced (1) slow down the system clock: this gives the synchronizer more time to decay into a steady state; synchronizer failure becomes a big problem for very high speed systems (2) use fastest possible logic technology in the synchronizer:this makes for a very sharp "peak" upon which to balance (3) cascade two synchronizers: this effectively synchronizes twice (both would have to fail) Q asynchronous input synchronized input D Q D Clk CS 150 - Spring 2008 – Lec #22 – Signaling - 44 synchronous system

  45. D Q D Q D Q D Q D Q Handling Asynchronous Inputs • Never allow asynchronous inputs to fan-out to more than one flip-flop • Synchronize as soon as possible and then treat as synchronous signal Clocked Synchronizer Synchronous System Q0 Q0 Async Async Input Input Clock Clock Q1 Q1 Clock Clock CS 150 - Spring 2008 – Lec #22 – Signaling - 45

  46. Handling Asynchronous Inputs (cont’d) • What can go wrong? • Input changes too close to clock edge (violating setup time constraint) In Q0 Q1 CLK In is asynchronous and fans out to D0 and D1one FF catches the signal, one does not inconsistent state may be reached! CS 150 - Spring 2008 – Lec #22 – Signaling - 46

  47. Signaling Summary • Glitches/Hazards • Introduce redundant logic terms to avoid them OR use synchronous design! • FSM Partitioning • Replacing monolithic State Machine with simpler communicating state machine • Technique of introducing idle states • Machine-to-machine Signaling • Synchronous vs. asynchronous • Four vs. Two Cycle Signaling • Asynchronous inputs and their dangers • Synchronizer failure: what it is and how to minimize its impact CS 150 - Spring 2008 – Lec #22 – Signaling - 47

More Related