State Circuits : Circuits that Remember

Slides:



Advertisements
Similar presentations
1 Lecture 28 Timing Analysis. 2 Overview °Circuits do not respond instantaneously to input changes °Predictable delay in transferring inputs to outputs.
Advertisements

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 L23 Synchronous Digital Systems (1) Garcia, Fall 2011 © UCB Lecturer SOE Dan Garcia inst.eecs.berkeley.edu/~cs61c CS61C.
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 L20 Synchronous Digital Systems (1) Garcia, Fall 2006 © UCB Blu-ray vs HD-DVD war over?  As you know, there are two different, competing formats.
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 L24 Latches (1) Garcia © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture.
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.
CS 61C L22 Representations of Combinatorial Logic Circuits (1) Garcia, Spring 2004 © UCB Lecturer PSOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS61C L20 Synchronous Digital Systems (1) Garcia, Spring 2007 © UCB Disk failures 15x specs!  A recent conference reveals that drives fail in real life.
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.
CS61C L25 Representations of Combinational Logic Circuits (1) Garcia, Spring 2013 © UCB Android Brain on Robots!  “Half the weight of some robots is.
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
CS61C L23 Synchronous Digital Systems (1) Garcia, Fall 2011 © UCB Senior Lecturer SOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
CS 61C: Great Ideas in Computer Architecture Finite State Machines, Functional Units 1 Instructors: John Wawrzynek & Vladimir Stojanovic
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.
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.
LATCHED, FLIP-FLOPS,AND TIMERS
Flip Flops Lecture 10 CAP
Combinational circuits
Senior Lecturer SOE Dan Garcia
Stateless Combinational Logic and State Circuits
6. Sequential circuits Rocky K. C. Chang 17 October 2017.
6. Sequential circuits (v2)
Asynchronous Inputs of a Flip-Flop
Sequential Circuits: Flip-Flops
Latches and Flip-flops
There is one handout today at the front and back of the room!
Inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture #21 State Elements: Circuits that Remember Hello to James Muerle in the.
Memristor memory on its way (hopefully)
Instructor: Justin Hsia
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
Levels in Processor Design
TA David “The Punner” Eitan Poll
Levels in Processor Design
Lecturer SOE Dan Garcia
Lecturer PSOE Dan Garcia
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
Levels in Processor Design
Instructor: Michael Greenbaum
Presentation transcript:

State Circuits : Circuits that Remember inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture 24 State Circuits : Circuits that Remember Senior Lecturer SOE Dan Garcia www.cs.berkeley.edu/~ddgarcia Bio NAND gate  Researchers at Imperial College in London have built a biological NAND gate using E. Coli, and showed you could build bigger circuits too. You can’t ask for more relevance!! Greet class www.nature.com/ncomms/journal/v2/n10/full/ncomms1516.html

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… Time 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: Fall 2010 -- Lecture #23

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 of the CLK Flip-flop - one bit of state that samples every rising edge of the CLK (positive edge-triggered) Register - several bits of state that samples on rising edge of CLK or on LOAD (positive edge- triggered)

Administrivia Project 2 Part Two, Due in 2 weeks Homework 4 out next will be directly connected to this material! Please do the reading (in the PDFs) for this material to really understand it!

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 minimum period of a usable synchronous circuit is at least 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. 123 a: FFF a: FFT b: FTF b: FTT c: TFF d: TFT 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 lose 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 minimum period of a usable synchronous circuit is at least 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. 123 a: FFF a: FFT b: FTF b: FTT c: TFF d: TFT 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])

Design Hierarchy system datapath control code registers state registers combinational logic multiplexer comparator register logic switching networks

“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, …