The Multicycle Processor II CPSC 321 Andreas Klappenecker.

The Multicycle Processor IICPSC 321

Andreas Klappenecker

Questions? Problems?

Today’s Menu

The Multicycle ProcessorIntroduction to Verilog

• Single memory unit for instructions and data

• Single arithmetic-logical unit• Registers after every major unit (some visible to the programmer, some not)

• hold output of that unit until value is used in next clock cycle

• data used in subsequent instructions must be stored in programmer visible registers

Multicycle Approach

Multicycle Datapath and Control Lines

Multicycle Datapath and Control Lines

Instruction Fetch/Decode/Execute

Step nameAction for R-type

instructionsAction for memory-reference

instructionsAction for branches

Action for jumps

Instruction fetch IR = Memory[PC]PC = PC + 4

Instruction A = Reg [IR[25-21]]decode/register fetch B = Reg [IR[20-16]]

ALUOut = PC + (sign-extend (IR[15-0]) << 2)

Execution, address ALUOut = A op B ALUOut = A + sign-extend if (A ==B) then PC = PC [31-28] IIcomputation, branch/ (IR[15-0]) PC = ALUOut (IR[25-0]<<2)jump completion

Memory access or R-type Reg [IR[15-11]] = Load: MDR = Memory[ALUOut]completion ALUOut or

Store: Memory [ALUOut] = B

Memory read completion Load: Reg[IR[20-16]] = MDR

3rd Step: R-Type Instruction

3rd Step: Memory Reference InstructionsMemory Access

4th Step: Memory Reference InstructionsMemory Address Computation

Store

What Happened So Far?

• Single-cycle processor• Multi-cycle processor

• Next: •Pipelined processor

• Build your own processor @ home!

Verilog

Levels of Abstraction

• Specification• Architectural Description

• Verilog, VHDL, ELLA or other HDLs

• Logic Design• Gates and Registers

• Circuit Design• Transistors sized for power and speed• Technology mapping

• Layout

Levels of Abstraction

+

n+n+S

GD

SystemModuleGateCircuitsDevice

MOS Transistors

• PMOS transistor• like a switch• ON if gate is 1• OFF if gate is 0

• NMOS transistor• OFF if gate is 1• ON if gate is 0

Drain (+)

Drain (-)

Source (+)

Source (-)

Current Flow

CMOS Circuits

• Simple• Avoids difficulties• Resilient• Energy efficient

• Current flow only during switching time

Circuit Design

Layering andFabrication

Layout

Hardware Description Languages

• Abstracting from circuits • Structural description

• Specify full adder by NAND and NOR gates

• Behavioral description• Specify full adder by functional behavior

• Improves productivity• Natural for Computer Scientists

Verilog

• Structural description• Gates, wires, input/output• Hierarchical description possible

(define full adder in terms of gates)

• Behavioral description• Abstract formulation• Functional relationships

Structural Verilog Example

module mux(f, a,b,sel);

output f;

input a,b,sel;

wire f1, f2;

not(nsel, sel);

and(f1, a,nsel);

and(f2, b, sel);

or (f, f1, f2);

endmodule

ba

sel

f

Behavioral Verilog Example

module mux2(f, a,b,sel);

output f;

input a,b,sel;

assign f = (a & ~sel) | (b & sel);

endmodule

Another Example

module mux2(f, a,b,sel);

output f;

input a,b,sel;

reg f;

always @(a or b or sel)

if (sel==1)

f = b;

else

f = a;

endmodule

Synthesis

• Compilation• Verilog code is translated into a network of logic gates

• Optimization• Try to find a better solution by logic

optimization (limited success)• Technology mapping• Physical design

Logic Gates

• and(y, a, b)• or(y, a, b)• not(y, a)• xor(y, a,b)• nand(y, a, b)• …

Modules

module mod_name (parameters);input …output …reg ………endmodule

Full Adder

module fulladd(cin, x, y, s, cout) input cin, x, y; output s, cout; assign s = x ^ y ^ cin; assign cout = (x & y) | (cin & x) | (cin

& y); endmodule

Full Adder

module fulladd(cin, x,y,s, cout);input cin, x, y;output s, cout;

assign { cout, s } = x + y + cin;EndmoduleThe assign statement sets cout to MSB and s to LSB

Verilog Simulators

• vcs from Synopsis• powerful debugging tools

• Icarus Verilog• compiler, free

• Veriwell• simulator, free

Information about Verilog

• Short manual by Chauhan and Blair

• Verilog Quick Reference Guide by Sutherland HDL• Appendix A in Fundamentals of Digital

Logic by Brown and Vranesic• Quick Reference for Verilog HDL by Rajeev Madhavan

Hello World

module top;

initial

$display("Hello, world!");

endmodule

initial statements are executed once by the simulator

Verilog Simulator

• The Verilog simulator is event driven• Different styles of Verilog

• structural • dataflow• behavioral

• We will see examples of each type

Nets

• A net represents a node in the circuit• The wire type connects an

• output of one element to an• input of another element

• wire abar; not(abar, a); nand(b, abar,abar);

Vector wires

• Range [msb: lsb] wire [3:0] S;

S = 4’b0011 The result of this assignment is

S[3] = 0, S[2] = 0, S[1] = 1, S[0] = 1• wire [1:2] A;

A = S[2:1];

means A[1] = S[2], A[2] = S[1]

Variables

• Variables come in two flavors• reg• integers

• reg can model combinatorial or sequential parts of the circuits

reg does not necessarily denote a register!

• Integers often used as loop control variables

useful for describing the behavior of a module

Simple Example

module testgate;

reg b, c; // variables

wire a, d, e; // nets

and (d, b, c); // gates

or (e, d, c); //

nand(a, e, b); //

initial begin // simulated once

b=1; c=0; // blocking assignments

#10 $display("a = %b", a);

end

endmodule What value will be printed?

Operators

• 1’s complement ~A• 2’s complement -A• bitwise AND A&B• reduction &A produces AND of all bits in A

• Concatenate {a,b,c} • | {a,b,c} = a | b | c• Replication operators 2{A} = {A,A}

• {2{A},3{B}} = {A,A,B,B,B}

Continuous assignments

• Single bit assignments assign s = x ^ y ^ cin; assign cout = (x & y) | (cin & x) | (cin &y )

• Multibit assignments wire [1:3] a,b,c; … assign c = a & b;

Full Adder

module fulladd(cin, x, y, s, cout) input cin, x, y; output s, cout; assign s = x ^ y ^ cin; assign cout = (x & y) | (cin & x) | (cin

& y); endmodule

Always Blocks

• An always block contains one or more procedural statements

• always @(sensitivity list) always @(x or y) begin

s = x ^ y;

c = x & y;

end

Mux: Structural Verilog

module mux(f, a,b,sel);

input a,b,sel;

output f;

wire f1, f2;

not(nsel, sel);

and(f1, a,nsel);

and(f2, b, sel);

or (f, f1, f2);

endmodule

ba

sel

f

Conclusion

• Verilog abstracts hardware• Modules represent hardware units• You can specify the behavior in

• structural • dataflow-oriented• behavioral

ways.

Mux: Dataflow Model

module mux2(f, a,b,sel);

output f;

input a,b,sel;

assign f = (a & ~sel) | (b & sel);

endmodule

Mux: Behavioral Model

module mux2(f, a,b,sel);

output f;

input a,b,sel;

reg f;

always @(a or b or sel)

if (sel==1)

f = b;

else

f = a;

endmodule