The Von-Neumann Computer Model • Partitioning of the computing engine into components: – Central Processing Unit (CPU): Control Unit (instruction decode, sequencing of operations), Datapath (registers, arithmetic and logic unit, buses). – Memory: Instruction and operand storage. – Input/Output (I/O). – The stored program concept: Instructions from an instruction set are fetched from a common memory and executed one at a time.
Control
Input
Memory (instructions, data)
Computer System
Datapath registers ALU, buses
Output
CPU
I/O Devices
EECC250 - Shaaban #1 lec #22 Winter99 2-16-2000
Hardware Components of Any Computer Five classic components of all computers: 1. Control Unit; 2. Datapath; 3. Memory; 4. Input; 5. Output
} Processor Keyboard, Mouse, etc.
Computer Processor
(active) Control Unit Datapath
Memory
Devices
(passive) Input
(where programs, data live when running)
Disk Output
Display , Printer, etc.
EECC250 - Shaaban #2 lec #22 Winter99 2-16-2000
CPU Organization • Datapath Design: – Capabilities & performance characteristics of principal Functional Units (FUs): – (e.g., Registers, ALU, Shifters, Logic Units, ...) – Ways in which these components are interconnected (buses connections, multiplexors, etc.). – How information flows between components.
• Control Unit Design: – Logic and means by which such information flow is controlled. – Control and coordination of FUs operation to realize the targeted Instruction Set Architecture to be implemented (can either be implemented using a finite state machine or a microprogram).
• Hardware description with a suitable language, possibly using Register Transfer Notation (RTN). EECC250 - Shaaban #3 lec #22 Winter99 2-16-2000
Hardware Description • Hardware visualization: – Block diagrams (spatial visualization): Two-dimensional representations of functional units and their interconnections. – Timing charts (temporal visualization): Waveforms where events are displayed vs. time.
• Register Transfer Notation (RTN): – A way to describe microoperations capable of being performed by the data flow (data registers, data buses, functional units) at the register transfer level of design (RT). – Also describes conditional information in the system which cause operations to come about. – A “shorthand” notation for microoperations.
• Hardware Description Languages: – Examples: VHDL: VHSIC (Very High Speed Integrated Circuits) Hardware Description Language, Verilog.
EECC250 - Shaaban #4 lec #22 Winter99 2-16-2000
Register Transfer Notation (RTN) • Dependent RTN: When RTN is used after the data flow is assumed to be frozen. No data transfer can take place over a path that does not exist. No statement implies a function the data flow hardware is incapable of performing. • Independent RTN: Describe actions on registers without regard to nonexistence of direct paths or intermediate registers. No predefined data flow. • The general format of an RTN statement: Conditional information: Action1; Action2 • The conditional statement is often an AND of literals (status and control signals) in the system (a p-term). The p-term
is said to imply the action. • Possible actions include transfer of data to/from registers/memory data shifting, functional unit operations etc. EECC250 - Shaaban #5 lec #22 Winter99 2-16-2000
RTN Statement Examples A←B – A copy of the data in entity B (typically a register) is placed in Register A – If the destination register has fewer bits than the source, the destination accepts only the lowest-order bits. – If the destination has more bits than the source, the value of the source is sign extended to the left.
CTL • T0: A = B – The contents of B are presented to the input of combinational circuit A – This action to the right of “:” takes place when control signal CTL is active and signal T0 is active.
EECC250 - Shaaban #6 lec #22 Winter99 2-16-2000
RTN Statement Examples MD ← M[MA] – Memory locations are indicated by square brackets. – Means the memory data register receives the contents of the main memory (M) as addressed from the Memory Address (MA) register.
AC(0), AC(1), AC(2),AC(3) – – – – –
Register fields are indicated by parenthesis. The concatenation operation is indicated by a comma. Bit AC(0) is bit 0 of the accumulator AC The above expression means AC bits 0, 1, 2, 3 More commonly represented by AC(0-3)
E • T3: CLRWRITE – The control signal CLRWRITE is activated when the condition E • T3 is active.
EECC250 - Shaaban #7 lec #22 Winter99 2-16-2000
CPU Design Steps 1. Analyze instruction set operations using independent RTN => datapath requirements. 2. Select set of datapath components & establish clock methodology. 3. Assemble datapath meeting the requirements. 4. Analyze implementation of each instruction to determine setting of control points that effects the register transfer. 5. Assemble the control logic.
EECC250 - Shaaban #8 lec #22 Winter99 2-16-2000
Instruction Processing Steps Instruction Fetch Next
Obtain instruction from program storage
Update program counter to address
Instruction
of next instruction
Instruction
Determine instruction type
Decode
Obtain operands from registers
Execute
Compute result value or status
Result Store
}
Common steps for all instructions
Store result in register/memory if needed (usually called Write Back).
EECC250 - Shaaban #9 lec #22 Winter99 2-16-2000
A Subset of MIPS Instructions ADD and SUB: addU rd, rs, rt subU rd, rs, rt
31
OR Immediate: ori rt, rs, imm16
31
26 op
rs
6 bits
op
6 bits
31
6 bits
rs 5 bits
shamt
funct
5 bits
5 bits
6 bits 0
16 bits
0 immediate
5 bits
21
0
rd
16 rt
5 bits
6
immediate
5 bits
21 rs
11
16 rt
5 bits
26 op
5 bits
21 rs
LOAD and STORE Word lw rt, rs, imm16 31 26 sw rt, rs, imm16 op
16 rt
5 bits
26 6 bits
BRANCH: beq rs, rt, imm16
21
16 bits
16 rt 5 bits
0 immediate 16 bits
EECC250 - Shaaban #10 lec #22 Winter99 2-16-2000
Overview of MIPS Instruction Micro-operations •
•
•
All instructions go through these two steps: – Send program counter to instruction memory and fetch the instruction. (fetch) – Read one or two registers, using instruction fields. (decode) • Load reads one register only. Additional instruction execution actions (execution) depend on the instruction in question, but similarities exist: – All instruction classes use the ALU after reading the registers: • Memory reference instructions use it for address calculation. • Arithmetic and logic instructions (R-Type), use it for the specified operation. • Branches use it for comparison. Additional execution steps where instruction classes differ: – Memory reference instructions: Access memory for a load or store. – Arithmetic and logic instructions: Write ALU result back in register. – Branch instructions: Change next instruction address based on comparison.
EECC250 - Shaaban #11 lec #22 Winter99 2-16-2000
Datapath Components Instruction Word
Two state elements needed to store and access instructions: 1 Instruction memory: • Only read access. • No read control signal. 2 Program counter: 32-bit register. • Written at end of every clock cycle: No write control signal. • 32-bit Adder: To compute the the next instruction address.
EECC250 - Shaaban #12 lec #22 Winter99 2-16-2000
More Datapath Components Register File
Main ALU
Register File: • Contains all registers. • Two read ports and one write port. • Register writes by asserting write control signal • Writes are edge-triggered. • Can read and write to the same register in the same clock cycle.
EECC250 - Shaaban #13 lec #22 Winter99 2-16-2000
R-Type Example: Micro-Operation Sequence For ADDU addU rd, rs, rt OP
rs
6 bits
5 bits
rt 5 bits
rd
shamt
funct
5 bits
5 bits
6 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
R[rd] ← R[rs] + R[rt]
Add register rs to register rt result in register rd
EECC250 - Shaaban #14 lec #22 Winter99 2-16-2000
Building The Datapath Instruction Fetch & PC Update:
Portion of the datapath used for fetching instructions and incrementing the program counter.
EECC250 - Shaaban #15 lec #22 Winter99 2-16-2000
Logical Operations with Immediate Example:
Micro-Operation Sequence For ORI ori rt, rs, imm16 31
26 op 6 bits
21
16
rs 5 bits
rt 5 bits
0 immediate 16 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
R[rt] ← R[rs] OR ZeroExt[imm16]
OR register rs with immediate field zero extended to 32 bits, result in register rt
EECC250 - Shaaban #16 lec #22 Winter99 2-16-2000
Datapath For Logical Instructions With Immediate Rd RegDst
Rt
Mux RegWr
5 Rw
busW
Rs 5 5
ALUctr busA
Ra Rb
32 Clk
ALU
32
32 32-bit Registers busB
16
ZeroExt
imm16
32
Mux
32
Result
32 ALUSrc
EECC250 - Shaaban #17 lec #22 Winter99 2-16-2000
Load Operations Example:
Micro-Operation Sequence For LW lw rt, rs, imm16 31
26 op 6 bits
21 rs 5 bits
16 rt 5 bits
0 immediate 16 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
R[rt] ← Mem[R[rs] + SignExt[imm16]]
Immediate field sign extended to 32 bits and added to register rs to form memory load address, word at load address to register rt
EECC250 - Shaaban #18 lec #22 Winter99 2-16-2000
Additional Datapath Components For Loads & Stores
Inputs for address and write (store) data Output for read (load) result
16-bit input sign-extended into a 32-bit value at the output
EECC250 - Shaaban #19 lec #22 Winter99 2-16-2000
Datapath For Loads Rd RegDst
Mux RegWr 5
32 Clk
Rs 5 5
ALUctr busA
Rw Ra Rb 32 32-bit Registers
32
32 ALUSrc
Mux
Extender
16
32 MemWr
Mux
busB 32
imm16
W_Src ALU
busW
Rt
WrEn Adr Data In 32 Clk
Data Memory
32
ExtOp
EECC250 - Shaaban #20 lec #22 Winter99 2-16-2000
Store Operations Example:
Micro-Operation Sequence For SW sw rt, rs, imm16 31
26 op 6 bits
21 rs 5 bits
16 rt 5 bits
0 immediate 16 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
Mem[R[rs] + SignExt[imm16]] ← R[rt]
Immediate field sign extended to 32 bits and added to register rs to form memory store address, register rt written to memory at store address.
EECC250 - Shaaban #21 lec #22 Winter99 2-16-2000
Datapath For Stores Rd RegDst
Rt
ALUctr
MemWr
W_Src
Mux RegWr 5
32 Clk
5
Rt 5 busA
Rw Ra Rb 32 32-bit Registers
32
WrEn Adr Data In 32
32
ExtOp
Mux
16
Extender
imm16
32
Mux
busB 32
ALU
busW
Rs
Clk
Data Memory
32
ALUSrc
EECC250 - Shaaban #22 lec #22 Winter99 2-16-2000
Conditional Branch Example:
Micro-Operation Sequence For BEQ beq rs, rt, imm16 31
26 op 6 bits
21 rs 5 bits
16 rt 5 bits
0 immediate 16 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
Equal ← R[rs] == R[rt]
Calculate the branch condition
if (COND eq 0) PC ← PC + 4 + ( SignExt(imm16) x 4 ) else PC ← PC + 4
Calculate the next instruction’s PC address
EECC250 - Shaaban #23 lec #22 Winter99 2-16-2000
ALU to evaluate branch condition Adder to compute branch target: • Sum of incremented PC and the sign-extended lower 16-bits on the instruction.
Datapath For Branch Instructions
EECC250 - Shaaban #24 lec #22 Winter99 2-16-2000
Combining The Datapaths For Memory Instructions and R-Type Instructions
Highlighted muliplexors and connections added to combine the datapaths of memory and R-Type instructions into one datapath
EECC250 - Shaaban #25 lec #22 Winter99 2-16-2000
Instruction Fetch Datapath Added to ALU R-Type and Memory Instructions Datapath
EECC250 - Shaaban #26 lec #22 Winter99 2-16-2000
A Simple Datapath For The MIPS Architecture Datapath of branches and a program counter multiplexor are added. Resulting datapath can execute in a single cycle the basic MIPS instruction: - load/store word - ALU operations - Branches
EECC250 - Shaaban #27 lec #22 Winter99 2-16-2000
Single Cycle MIPS Datapath Necessary multiplexors and control lines are identified here:
EECC250 - Shaaban #28 lec #22 Winter99 2-16-2000
Adding Support For Jump:
Micro-Operation Sequence For Jump: J j jump_target OP
Jump_target
6 bits
26 bits
Instruction Word ← Mem[PC]
Fetch the instruction
PC ← PC + 4
Increment PC
PC ← PC(31-28),jump_target,00
Update PC with jump address
EECC250 - Shaaban #29 lec #22 Winter99 2-16-2000
Datapath For Jump Next Instruction Address 32
nPC_sel
4
JUMP
Adder
00
32
PC
Mux
Mux
Adder
imm16
PC Ext
Instruction(15-0)
32
4
Clk PC+4(31-28)
Instruction(25-0) jump_target
26
Shift left 2
28
32
EECC250 - Shaaban #30 lec #22 Winter99 2-16-2000
Rd
Rs
Rt
Op Fun
Adr
Instruction
Instruction Memory
Imm16 Jump_target
Control Unit nPC_sel RegWr RegDst ExtOp ALUSrc ALUctr MemWr MemtoReg Jump
Equal
DATA PATH EECC250 - Shaaban #31 lec #22 Winter99 2-16-2000
Single Cycle MIPS Datapath Extended To Handle Jump with Control Unit Added
EECC250 - Shaaban #32 lec #22 Winter99 2-16-2000
Control Signal Generation func 10 0000 10 0010
Don’t Care
op 00 0000 00 0000 00 1101 10 0011 10 1011 00 0100 00 0010 add
sub
ori
lw
sw
beq
jump
RegDst
1
1
0
0
x
x
x
ALUSrc
0
0
1
1
1
0
x
MemtoReg
0
0
0
1
x
x
x
RegWrite
1
1
1
1
0
0
0
MemWrite
0
0
0
0
1
0
0
nPCsel
0
0
0
0
0
1
0
Jump
0
0
0
0
0
0
1
ExtOp
x
x
0
1
1
x
x
Add
Subtract
Or
Add
Add
Subtract
xxx
ALUctr
EECC250 - Shaaban #33 lec #22 Winter99 2-16-2000
PLA Implementation of the Main Control ..
op
..
op
R-type
..
op
ori
..
op
lw
..
op
sw
..
op
beq
op
jump
RegWrite ALUSrc RegDst MemtoReg MemWrite Branch Jump ExtOp ALUop ALUop ALUop
EECC250 - Shaaban #34 lec #22 Winter99 2-16-2000