inst.eecs.berkeley.edu/~cs61c what are “machine structures

3
CS 61C L20 Introduction to Synchronous Digital Systems (1) Garcia, Fall 2004 © UCB Lecturer PSOE Dan Garcia www.cs.berkeley.edu/~ddgarcia inst.eecs.berkeley.edu/~cs61c CS61C : Machine Structures Lecture 20 – Introduction to Synchronous Digital Systems 2004-10-15 Great new PC HW!OQO model 01 is the new, lightest, coolest fully- functional PC on the block. 1GHz, 20GB drive, 256MB RAM, wireless, color display, thumb keyboard which slides out. Small & light! oqo.com CS 61C L20 Introduction to Synchronous Digital Systems (2) Garcia, Fall 2004 © UCB 61C What are “Machine Structures”? Coordination of many levels of abstraction I/O system Processor Compiler Operating System (MacOS X) Application (Netscape) Digital Design Circuit Design Instruction Set Architecture Datapath & Control transistors Memory Hardware Software Assembler We’ll investigate lower abstraction layers! (contract between HW & SW) CS 61C L20 Introduction to Synchronous Digital Systems (3) Garcia, Fall 2004 © UCB 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) 000000 00000 00101 0001000010000000 000000 00100 00010 0001000000100000 . . . C compiler assembler ? CS 61C L20 Introduction to Synchronous Digital Systems (4) Garcia, Fall 2004 © UCB Logic Design Next 2 weeks: we’ll study how a modern processor is built starting with basic logic elements as building blocks. Why study logic design? Understand 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 (CS 150, CS 152) CS 61C L20 Introduction to Synchronous Digital Systems (5) Garcia, Fall 2004 © UCB Logic Gates Basic building blocks are logic gates. In the beginning, did ad hoc designs, and then saw patterns repeated, gave names Can build gates with transistors and resistors Then found theoretical basis for design Can represent and reason about gates with truth tables and Boolean algebra Assume know truth tables and Boolean algebra from a math or circuits course. Section B.2 in the textbook has a review CS 61C L20 Introduction to Synchronous Digital Systems (6) Garcia, Fall 2004 © UCB Physical Hardware Let’s look closer…

Upload: others

Post on 02-Apr-2022

7 views

Category:

Documents


0 download

TRANSCRIPT

CS 61C L20 Introduction to Synchronous Digital Systems (1) Garcia, Fall 2004 © UCB

Lecturer PSOE Dan Garcia

www.cs.berkeley.edu/~ddgarcia

inst.eecs.berkeley.edu/~cs61cCS61C : Machine Structures

Lecture 20 –Introduction to Synchronous Digital Systems

2004-10-15

Great new PC HW!⇒ OQO model 01 is the

new, lightest, coolest fully-functional PC on the block. 1GHz,

20GB drive, 256MB RAM, wireless,color display, thumb keyboardwhich slides out. Small & light! oqo.com

CS 61C L20 Introduction to Synchronous Digital Systems (2) Garcia, Fall 2004 © UCB

61C

What are “Machine Structures”?

Coordination of many levels of abstraction

I/O systemProcessor

CompilerOperating

System(MacOS X)

Application (Netscape)

Digital DesignCircuit Design

Instruction Set Architecture

Datapath & Control

transistors

MemoryHardware

Software Assembler

We’ll investigate lower abstraction layers!(contract between HW & SW)

CS 61C L20 Introduction to Synchronous Digital Systems (3) Garcia, Fall 2004 © UCB

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,$2lw $15, 0($2)lw $16, 4($2)sw $16, 0($2)sw $15, 4($2)jr $31

•Machine (object) code (for MIPS) 000000 00000 00101 0001000010000000 000000 00100 00010 0001000000100000 . . .

C compiler

assembler

?CS 61C L20 Introduction to Synchronous Digital Systems (4) Garcia, Fall 2004 © UCB

Logic Design

•Next 2 weeks: we’ll study how amodern processor is built starting withbasic logic elements as buildingblocks.•Why study logic design?•Understand what processors can do fastand what they can’t do fast (avoid slowthings if you want your code to run fast!)•Background for more detailed hardwarecourses (CS 150, CS 152)

CS 61C L20 Introduction to Synchronous Digital Systems (5) Garcia, Fall 2004 © UCB

Logic Gates•Basic building blocks are logic gates.• In the beginning, did ad hoc designs, andthen saw patterns repeated, gave names•Can build gates with transistors andresistors

•Then found theoretical basis for design•Can represent and reason about gates withtruth tables and Boolean algebra•Assume know truth tables and Booleanalgebra from a math or circuits course.•Section B.2 in the textbook has a review

CS 61C L20 Introduction to Synchronous Digital Systems (6) Garcia, Fall 2004 © UCB

Physical Hardware

Let’s look closer…

CS 61C L20 Introduction to Synchronous Digital Systems (7) Garcia, Fall 2004 © UCB

Gate-level view vs. Block diagram

A B C0 0 10 1 11 0 11 1 0

CS 61C L20 Introduction to Synchronous Digital Systems (8) Garcia, Fall 2004 © UCB

Signals and Waveforms: Clocks

CS 61C L20 Introduction to Synchronous Digital Systems (9) Garcia, Fall 2004 © UCB

Signals and Waveforms: Adders

CS 61C L20 Introduction to Synchronous Digital Systems (10) Garcia, Fall 2004 © UCB

Signals and Waveforms: Grouping

CS 61C L20 Introduction to Synchronous Digital Systems (11) Garcia, Fall 2004 © UCB

Signals and Waveforms: Circuit Delay

CS 61C L20 Introduction to Synchronous Digital Systems (12) Garcia, Fall 2004 © UCB

Combinational Logic

•Complex logic blocks are built frombasic AND, OR, NOT building blockswe’ll see shortly.•A combinational logic block is one inwhich the output is a function only ofits current input.•Combinational logic cannot havememory (e.g., a register is not acombinational unit).

CS 61C L20 Introduction to Synchronous Digital Systems (13) Garcia, Fall 2004 © UCB

Circuits with STATE (e.g., register)

CS 61C L20 Introduction to Synchronous Digital Systems (14) Garcia, Fall 2004 © UCB

Administrivia

•Midterm coming up on Monday @ 7pmin 1 Pimintel. Heard this enough yet?

CS 61C L20 Introduction to Synchronous Digital Systems (15) Garcia, Fall 2004 © UCB

Peer Instruction

A. SW can peek at HW (past ISAabstraction boundary) for optimizations

B. SW can depend on particular HWimplementation of ISA

C. Timing diagrams serve as a criticaldebugging tool in the EE toolkit

ABC1: FFF2: FFT3: FTF4: FTT5: TFF6: TFT7: TTF8: TTT

CS 61C L20 Introduction to Synchronous Digital Systems (16) Garcia, Fall 2004 © UCB

And in conclusion…

• ISA is very important abstraction layer•Contract between HW and SW

•Basic building blocks are logic gates•Clocks control pulse of our circuits•Voltages are analog, quantized to 0/1•Circuit delays are fact of life•Two types•Stateless Combinational Logic (&,|,~)•State circuits (e.g., registers)