Inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture #21 State Elements: Circuits that Remember 2010-3-09 Hello to James Muerle in the.

Slides:



Advertisements
Similar presentations
Circuits require memory to store intermediate data
Advertisements

1 Lecture 28 Timing Analysis. 2 Overview °Circuits do not respond instantaneously to input changes °Predictable delay in transferring inputs to outputs.
CS61C L16 Representations of Combinatorial Logic Circuits (1) Beamer, Summer 2007 © UCB Scott Beamer Instructor inst.eecs.berkeley.edu/~cs61c CS61C :
CS61C L22 Representations of Combinatorial Logic Circuits (1) Garcia © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS61C L21 State Elements: CircuitsThat Remember (1) Garcia © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS 61C L14 State (1) A Carle, Summer 2005 © UCB inst.eecs.berkeley.edu/~cs61c/su05 CS61C : Machine Structures Lecture #14: State and FSMs Andy.
CS 61C L14 Combinational Logic (1) A Carle, Summer 2006 © UCB inst.eecs.berkeley.edu/~cs61c/su06 CS61C : Machine Structures Lecture #14: Combinational.
CS61C L21 State Elements : Circuits that Remember (1) Spring 2007 © UCB 161 Exabytes In 2006  In 2006 we created, captured, and replicated 161 exabytes.
CS61C L22 Representations of Combinatorial Logic Circuits (1) Garcia, Spring 2008 © UCB 100 MPG Car contest!  The X Prize Foundation has put up two prizes;
CS61C L21 State Elements : Circuits that Remember (1) Garcia, Fall 2006 © UCB One Laptop per Child  The OLPC project has been making news recently with.
CS61C L14 Introduction to Synchronous Digital Systems (1) Beamer, Summer 2007 © UCB Scott Beamer, Instructor inst.eecs.berkeley.edu/~cs61c CS61C : Machine.
CS61C L22 Representations of Combinatorial Logic Circuits (1) Eric, Spring 2010 © UCB Cal Alumni Wins 2009 Turing Award! Charles P. Thacker was named.
CS61C L18 Combinational Logic Blocks, Latches (1) Chae, Summer 2008 © UCB Albert Chae, Instructor inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures.
CS61C L14 Synchronous Digital Systems & State Elements I (1) Pearce, Summer 2010 © UCB inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture.
CS 61C L20 Introduction to Synchronous Digital Systems (1) Garcia, Fall 2004 © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS 61C L21 State Elements: CircuitsThat Remember (1) Garcia, Fall 2004 © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS 61C L28 Representations of Combinatorial Logic Circuits (1) Garcia, Spring 2004 © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS61C L20 Introduction to Synchronous Digital Systems (1) Garcia © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS61C L17 Combinational Logic (1) Chae, Summer 2008 © UCB Albert Chae, Instructor inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture #17.
CS 61C: Great Ideas in Computer Architecture Finite State Machines
CS61C L14 Introduction to Synchronous Digital Systems (1) Garcia, Fall 2005 © UCB Lecturer PSOE, new dad Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS61C L15 Synchronous Digital Systems (1) Beamer, Summer 2007 © UCB Scott Beamer, Instructor inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture.
CS 61C L15 State & Blocks (1) A Carle, Summer 2006 © UCB inst.eecs.berkeley.edu/~cs61c/su06 CS61C : Machine Structures Lecture #15: State 2 and Blocks.
Instructor: Justin Hsia
CS3350B Computer Architecture Winter 2015 Lecture 5.2: State Circuits: Circuits that Remember Marc Moreno Maza [Adapted.
CS 61C: Great Ideas in Computer Architecture Lecture 10: Finite State Machines, Functional Units Instructor: Sagar Karandikar
COE 202: Digital Logic Design Sequential Circuits Part 1
DLD Lecture 26 Finite State Machine Design Procedure.
CS 61C: Great Ideas in Computer Architecture Finite State Machines, Functional Units 1 Instructors: John Wawrzynek & Vladimir Stojanovic
MicroComputer Engineering DigitalCircuits slide 1 Combinational circuits Changes at inputs propagate at logic speed to outputs Not clocked No internal.
CS 61C L4.1.2 State (1) K. Meinz, Summer 2004 © UCB CS61C : Machine Structures Lecture State and FSMs Kurt Meinz inst.eecs.berkeley.edu/~cs61c.
CS61C L20 Synchronous Digital Systems (1) Beamer, Spring 2008 © UCB Scott Beamer, Guest Lecturer inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures.
CO5023 Latches, Flip-Flops and Decoders. Sequential Circuit What does this do? The OUTPUT of a sequential circuit is determined by the current output.
CS61C L24 State Elements : Circuits that Remember (1) Garcia, Fall 2014 © UCB Senior Lecturer SOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS 61C: Great Ideas in Computer Architecture Sequential Elements, Synchronous Digital Systems 1 Instructors: Vladimir Stojanovic & Nicholas Weaver
CS 61C: Great Ideas in Computer Architecture Finite State Machines, Functional Units 1 Instructors: Vladimir Stojanovic and Nicholas Weaver
CS 110 Computer Architecture Lecture 9: Finite State Machines, Functional Units Instructor: Sören Schwertfeger School of.
Revisão de Circuitos Lógicos PARTE I. What are “Machine Structures”? Coordination of many levels of abstraction I/O systemProcesso r Compiler Operating.
Revisão de Circuitos Lógicos PARTE III. Review Use this table and techniques we learned to transform from 1 to another.
Digital Design - Sequential Logic Design
LATCHED, FLIP-FLOPS,AND TIMERS
Flip Flops Lecture 10 CAP
Combinational circuits
Senior Lecturer SOE Dan Garcia
Clocks A clock is a free-running signal with a cycle time.
Stateless Combinational Logic and State Circuits
6. Sequential circuits Rocky K. C. Chang 17 October 2017.
6. Sequential circuits (v2)
State Circuits : Circuits that Remember
Asynchronous Inputs of a Flip-Flop
Latches and Flip-flops
There is one handout today at the front and back of the room!
Instructor: Justin Hsia
Guerilla Section #4 10/05 SDS & MIPS Datapath
Instructor Paul Pearce
Lecture 15 Logistics Last lecture Today HW4 is due today
Inst.eecs.berkeley.edu/~cs61c UC Berkeley CS61C : Machine Structures Lecture 23 – Representations of Combinatorial Logic Circuits TA/Punner.
Lecturer SOE Dan Garcia
en.wikipedia.org/wiki/Conway%27s_Game_of_Life
CSE 370 – Winter Sequential Logic-2 - 1
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
Inst.eecs.berkeley.edu/~cs61c CS61CL : Machine Structures Lecture #8 – State Elements, Combinational Logic Greet class James Tu, TA.
Lecturer PSOE Dan Garcia
TA David “The Punner” Eitan Poll
Lecturer SOE Dan Garcia
Lecturer PSOE Dan Garcia
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
Levels in Processor Design
EGR 2131 Unit 12 Synchronous Sequential Circuits
Instructor: Michael Greenbaum
Presentation transcript:

inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture #21 State Elements: Circuits that Remember 2010-3-09 Hello to James Muerle in the back row Long Wei inst.eecs.berkeley.edu/~cs61c-te Greet class Steam comes to Macs

ISA is very important abstraction layer Review ISA is very important abstraction layer Contract between HW and SW Clocks control pulse of our circuits Voltages are analog, quantized to 0/1 Circuit delays are fact of life Two types of circuits: Stateless Combinational Logic (&,|,~) State circuits (e.g., registers)

Uses for State Elements As a place to store values for some indeterminate amount of time: Register files (like $1-$31 on the MIPS) Memory (caches, and main memory) Help control the flow of information between combinational logic blocks. State elements are used to hold up the movement of information at the inputs to combinational logic blocks and allow for orderly passage.

Accumulator Example Want: S=0; for (i=0;i<n;i++) S = S + Xi Assume: Why do we need to control the flow of information? Want: S=0; for (i=0;i<n;i++) S = S + Xi Assume: Each X value is applied in succession, one per cycle. After n cycles the sum is present on S.

First try…Does this work? Feedback Nope! Reason #1… What is there to control the next iteration of the ‘for’ loop? Reason #2… How do we say: ‘S=0’?

Second try…How about this? Rough timing… Register is used to hold up the transfer of data to adder.

Register Details…What’s inside? n instances of a “Flip-Flop” Flip-flop name because the output flips and flops between and 0,1 D is “data”, Q is “output” Also called “d-type Flip-Flop”

What’s the timing of a Flip-flop? (1/2) Edge-triggered d-type flip-flop This one is “positive edge-triggered” “On the rising edge of the clock, the input d is sampled and transferred to the output. At all other times, the input d is ignored.” Example waveforms:

What’s the timing of a Flip-flop? (2/2) Edge-triggered d-type flip-flop This one is “positive edge-triggered” “On the rising edge of the clock, the input d is sampled and transferred to the output. At all other times, the input d is ignored.” Example waveforms (more detail):

Accumulator Revisited (proper timing 1/2) Reset input to register is used to force it to all zeros (takes priority over D input). Si-1 holds the result of the ith-1 iteration. Analyze circuit timing starting at the output of the register.

Accumulator Revisited (proper timing 2/2) reset signal shown. Also, in practice X might not arrive to the adder at the same time as Si-1 Si temporarily is wrong, but register always captures correct value. In good circuits, instability never happens around rising edge of clk.

Maximum Clock Frequency Hint… Frequency = 1/Period What is the maximum frequency of this circuit? Max Delay = Setup Time + CLK-to-Q Delay + CL Delay

Pipelining to improve performance (1/2) Extra Register are often added to help speed up the clock rate. Timing… Note: delay of 1 clock cycle from input to output. Clock period limited by propagation delay of adder/shifter.

Pipelining to improve performance (2/2) Insertion of register allows higher clock frequency. More outputs per second. Timing…

Recap of Timing Terms Clock (CLK) - steady square wave that synchronizes system Setup Time - when the input must be stable before the rising edge of the CLK Hold Time - when the input must be stable after the rising edge of the CLK “CLK-to-Q” Delay - how long it takes the output to change, measured from the rising edge Flip-flop - one bit of state that samples every rising edge of the CLK Register - several bits of state that samples on rising edge of CLK or on LOAD

Finite State Machines (FSM) Introduction You have seen FSMs in other classes. Same basic idea. The function can be represented with a “state transition diagram”. With combinational logic and registers, any FSM can be implemented in hardware.

Finite State Machine Example: 3 ones… FSM to detect the occurrence of 3 consecutive 1’s in the input. Draw the FSM… Assume state transitions are controlled by the clock: on each clock cycle the machine checks the inputs and moves to a new state and produces a new output…

Hardware Implementation of FSM … Therefore a register is needed to hold the a representation of which state the machine is in. Use a unique bit pattern for each state. + ? = Combinational logic circuit is used to implement a function maps from present state and input to next state and output.

Hardware for FSM: Combinational Logic Next lecture we will discuss the detailed implementation, but for now can look at its functional specification, truth table form. Truth table… 1 00 10 01 Output NS Input PS

General Model for Synchronous Systems Collection of CL blocks separated by registers. Registers may be back-to-back and CL blocks may be back-to- back. Feedback is optional. Clock signal(s) connects only to clock input of registers.

HW feedback akin to SW recursion Peer Instruction HW feedback akin to SW recursion The period of a usable synchronous circuit is greater than the CLK-to-Q delay You can build a FSM to signal when an equal number of 0s and 1s has appeared in the input. ABC A: FFF B: FTF C: TFF D: TTF E: TTT Answer: [correct=5, TFF] Individual (6, 3, 6, 3, 34, 37, 7, 4)% & Team (9, 4, 4, 4, 39, 34, 0, 7)% A: T [18/82 & 25/75] (The game breaks up very quickly into separate, independent games -- big win to solve separated & put together) B: F [80/20 & 86/14] (The game tree grows exponentially! A better static evaluator can make all the difference!) C: F [53/57 & 52/48] (If you're just looking for the best move, just keep theBestMove around [ala memoizing max])

Peer Instruction Answer It needs ‘base case’ (reg reset), way to step from i to i+1 (use register + clock). True! If not, will loose data! True! How many states would it have? Say it’s n. How does it know when n+1 bits have been seen? False! HW feedback akin to SW recursion The period of a usable synchronous circuit is greater than the CLK-to-Q delay You can build a FSM to signal when an equal number of 0s and 1s has appeared in the input. HW feedback akin to SW recursion We can implement a D-Q flipflop as simple CL (And, Or, Not gates) You can build a FSM to signal when an equal number of 0s and 1s has appeared in the input. ABC A: FFF B: FTF C: TFF D: TTF E: TTT Answer: [correct=5, TFF] Individual (6, 3, 6, 3, 34, 37, 7, 4)% & Team (9, 4, 4, 4, 39, 34, 0, 7)% A: T [18/82 & 25/75] (The game breaks up very quickly into separate, independent games -- big win to solve separated & put together) B: F [80/20 & 86/14] (The game tree grows exponentially! A better static evaluator can make all the difference!) C: F [53/57 & 52/48] (If you're just looking for the best move, just keep theBestMove around [ala memoizing max])

“And In conclusion…” State elements are used to: Build memories Control the flow of information between other state elements and combinational logic D-flip-flops used to build registers Clocks tell us when D-flip-flops change Setup and Hold times important We pipeline long-delay CL for faster clock Finite State Machines extremely useful You’ll see them again 150,152, 164, 172…