Revisão de Circuitos Lógicos PARTE I. What are “Machine Structures”? Coordination of many levels of abstraction I/O systemProcesso r Compiler Operating.

Slides:



Advertisements
Similar presentations
ECE 15B Computer Organization Spring 2010 Dmitri Strukov Lecture 2: Overview of Computer Organization Partially adapted from Computer Organization and.
Advertisements

CS 61C L13 Combinational Logic (1) A Carle, Summer 2005 © UCB inst.eecs.berkeley.edu/~cs61c/su05 CS61C : Machine Structures Lecture #13: Combinational.
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 L20 Synchronous Digital Systems (1) Garcia, Spring 2010 © UCB Lecturer SOE Dan Garcia inst.eecs.berkeley.edu/~cs61c.
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 L15 Blocks (1) A Carle, Summer 2005 © UCB inst.eecs.berkeley.edu/~cs61c/su05 CS61C : Machine Structures Lecture #15: Combinational Logic Blocks.
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 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.
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.
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
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 Synchronous Digital Systems 1 Instructors: John Wawrzynek & Vladimir Stojanovic
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.
CS 61C L4.1.1 Combinational Logic (1) K. Meinz, Summer 2004 © UCB CS61C : Machine Structures Lecture Logic Gates and Combinational Logic
CS61C L20 Synchronous Digital Systems (1) Beamer, Spring 2008 © UCB Scott Beamer, Guest Lecturer inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures.
Instructor: Justin Hsia 7/24/2013Summer Lecture #181 CS 61C: Great Ideas in Computer Architecture Combinational and Sequential Logic, Boolean Algebra.
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 III. Review Use this table and techniques we learned to transform from 1 to another.
Digital Design - Sequential Logic Design
Flip Flops Lecture 10 CAP
Combinational circuits
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
Inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture #21 State Elements: Circuits that Remember Hello to James Muerle in the.
Instructor: Justin Hsia
Instructor: Alexander Stoytchev
Instructor Paul Pearce
CSE 370 – Winter Sequential Logic - 1
Inst.eecs.berkeley.edu/~cs61c UC Berkeley CS61C : Machine Structures Lecture 23 – Representations of Combinatorial Logic Circuits TA/Punner.
en.wikipedia.org/wiki/Conway%27s_Game_of_Life
CSE 370 – Winter Sequential Logic-2 - 1
332:437 Lecture 8 Verilog and Finite State Machines
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
Guest Lecture by David Johnston
TA David “The Punner” Eitan Poll
Lecturer SOE Dan Garcia
CSC3050 – Computer Architecture
Lecturer PSOE Dan Garcia
Lecture 17 Logistics Last lecture Today HW5 due on Wednesday
EGR 2131 Unit 12 Synchronous Sequential Circuits
332:437 Lecture 8 Verilog and Finite State Machines
Instructor: Michael Greenbaum
Presentation transcript:

Revisão de Circuitos Lógicos PARTE I

What are “Machine Structures”? Coordination of many levels of abstraction I/O systemProcesso r Compiler Operating System (MacOS X) Application (Netscape) Digital Design Circuit Design Instruction Set Architecture Datapath & Control transistors Memor y Hardware Software Assembler ISA is an important abstraction level: contract between HW & SW

Below the Program High-level language program (in C) swap int v[], int k){ int temp; temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; } Assembly language program (for MIPS) swap: sll$2, $5, 2 add$2, $4,$2 lw$15, 0($2) lw$16, 4($2) sw$16, 0($2) sw$15, 4($2) jr$31 Machine (object) code (for MIPS) C compiler assemble r

Levels of Representation lw $t0, 0($2) lw $t1, 4($2) sw $t1, 0($2) sw $t0, 4($2) High Level Language Program (e.g., C) Assembly Language Program (e.g.,MIPS) Machine Language Program (MIPS) Hardware Architecture Description (Logic, Logisim, etc.) Compiler Assembler Machine Interpretation temp = v[k]; v[k] = v[k+1]; v[k+1] = temp; Logic Circuit Description (Logisim, etc.) Architecture Implementation

Synchronous Digital Systems Synchronous: Means all operations are coordinated by a central clock.  It keeps the “heartbeat” of the system! Digital: Mean all values are represented by discrete values Electrical signals are treated as 1’s and 0’s and grouped together to form words. The hardware of a processor, such as the MIPS, is an example of a Synchronous Digital System

Logic Design Next weeks: we’ll study how a modern processor is built; starting with basic elements as building blocks. Why study hardware design? Understand capabilities and limitations of hardware in general and processors in particular. What processors can do fast and what they can’t do fast (avoid slow things if you want your code to run fast!) Background for more detailed hardware courses There is just so much you can do with processors. At some point you may need to design your own custom hardware.

PowerPC Die Photograph Let’s look closer…

Transistors 101 MOSFET Metal-Oxide-Semiconductor Field-Effect Transistor Come in two types: -n-type NMOSFET -p-type PMOSFET For n-type (p-type opposite) If voltage not enough between G & S, transistor turns “off” (cut-off) and Drain-Source NOT connected If the G & S voltage is high enough, transistor turns “on” (saturation) and Drain-Source ARE connected p- type n- type D G S S G D Side view

Transistor Circuit Rep. vs. Block diagram Chips is composed of nothing but transistors and wires. Small groups of transistors form useful building blocks. Block are organized in a hierarchy to build higher-level blocks: ex: adders. abc “1” (voltage source) “0” (ground)

Signals and Waveforms: Clocks Signals When digital is only treated as 1 or 0 Is transmitted over wires continuously Transmission is effectively instant  Implies that any wire only contains 1 value at a time

Signals and Waveforms

Signals and Waveforms: Grouping

Signals and Waveforms: Circuit Delay

Type of Circuits Synchronous Digital Systems are made up of two basic types of circuits: Combinational Logic (CL) circuits Our previous adder circuit is an example. Output is a function of the inputs only. Similar to a pure function in mathematics, y = f(x). (No way to store information from one invocation to the next. No side effects) State Elements: circuits that store information.

Circuits with STATE (e.g., register)

Peer Instruction SW can peek at HW (past ISA abstraction boundary) for optimizations SW can depend on particular HW implementation of ISA Timing diagrams serve as a critical debugging tool in the EE toolkit AB 0: FF 1: FT 2: TF 3: TT White is true C: T F

Sample Debugging Waveform

Uses for State Elements 1. 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 + X i Why do we need to control the flow of information? 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? Nope! Reason #1… What is there to control the next iteration of the ‘ for ’ loop? Reason #2… How do we say: ‘ S=0 ’? Feedback

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). S i-1 holds the result of the i th -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 S i-1 S i temporarily is wrong, but register always captures correct value. In good circuits, instability never happens around rising edge of clk.

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… Draw the FSM… FSM to detect the occurrence of 3 consecutive 1’s in the input. 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 OutputNSInputPS Truth table… Next lecture we will discuss the detailed implementation, but for now can look at its functional specification, truth table form.

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. AB 0: FF 1: FT 2: TF 3: TT White is true C: T F

Peer Instruction Answer A. HW feedback akin to SW recursion B. We can implement a D-Q flipflop as simple CL (And, Or, Not gates) C. You can build a FSM to signal when an equal number of 0s and 1s has appeared in the input. ABC 1: FFF 2: FFT 3: FTF 4: FTT 5: TFF 6: TFT 7: TTF 8: TTT 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! A.HW feedback akin to SW recursion B.The minimum period of a usable synchronous circuit is at least the CLK-to-Q delay C.You can build a FSM to signal when an equal number of 0s and 1s has appeared in the input.

Conclusion 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)

“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 Finite State Machines extremely useful You’ll see them again