3 RISCV Single-Cycle Control and Pipelining

Basics

Instruction Table

Inst[31:0]	BrEq	BrLT	PCSel	ImmSel	BrUn	ASel	BSel	ALUSel	MemRW	RegWEn	WBSel
add	*	*	+4	*	*	Reg	Reg	Add	Read	1 (Y)	ALU
sub	*	*	+4	*	*	Reg	Reg	Sub	Read	1	ALU
(R-ROp)	*	*	+4	*	*	Reg	Reg	(Op)	Read	1	ALU
addi	*	*	+4	I	*	Reg	Imm	Add	Read	1	ALU
lw	*	*	+4	I	*	Reg	Imm	Add	Read	1	Mem
sw	*	*	+4	S	*	Reg	Imm	Add	Write	0 (N)	*
beq	0	*	+4	B	*	PC	Imm	Add	Read	0	*
beq	1	*	ALU	B	*	PC	Imm	Add	Read	0	*
bne	0	*	ALU	B	*	PC	Imm	Add	Read	0	*
bne	1	*	+4	B	*	PC	Imm	Add	Read	0	*
blt	*	1	ALU	B	0	PC	Imm	Add	Read	0	*
bltu	*	1	ALU	B	1	PC	Imm	Add	Read	0	*
jalr	*	*	ALU	I	*	Reg	Imm	Add	Read	1	PC+4
jal	*	*	ALU	J	*	PC	Imm	Add	Read	1	PC+4
auipc	*	*	+4	U	*	PC	Imm	Add	Read	1	ALU

Single Cycle

Critical Path:

$t_{Load}\geq t_{clk-to-q}+t_{IMEMread}+t_{RFRead}+t_{mux}+t_{ALU}+t_{DMEMRead}+t_{mux}+t_{RFsetup}$

$t_{Arithmetic I-Type}\geq t_{clk-to-q}+t_{IMEMread}+max(t_{RFRead},t_{imm})+t_{mux}+t_{ALU}+t_{mux}+t_{RFsetup}$

$t_{S-Type}\geq t_{clk-to-q}+t_{IMEMread}+t_{RFRead}+t_{mux}+t_{ALU}+t_{DMEMWrite}+t_{RFsetup}$

• R-Type、Arithmetic I-Type、SB-Type: No DMem
• Load I-Type: DMem Read
• S-Type: DMem Write,No second Mux(WB)
• U-Type: No $RF_{Read}$

Note: comparator is omitted because branch comparison is done in parallel with RegFile/ALU, which takes much longer time.

Control Logic

• ImmSel:

  

  

• BrUn,BrEq,BrLT:

  

• ALUSel:

  

Pipelined

Overview

IF : $t_{clk-to-q} + t_{IMEMread} + t_{Regsetup}$

ID : $t_{clk-to-q}+ t_{RFread} + t_{Regsetup}$

EX : $t_{clk-to-q}+ t_{mux} + t_{ALU} + t_{Regsetup}$

MEM : $t_{clk-to-q} + t_{DMEMread} + t_{Regsetup}$

WB : $t_{clk-to-q} + t_{mux} + t_{RFsetup}$

$t_{clk}\geq max(IF, ID, EX,MEM,WB)$

Forwarding Path

Compare destination of older instructions in pipeline with sources of new instruction in decode stage

Hazard

Structural Hazard

1. Problem

   Two or more instructions in the pipeline compete for access to a single physical resource

2. Solution

   (1)Instructions take turns using resource, some instructions have to stall (wait)

   (2)Add more hardware to machine

3. Example:

   RegFile Hazard

   

   Solution:

   • Double Pumping

     Prepare to write during 1st half, write on falling edge, read during 2nd half of each clock cycle

   • Build RegFile with independent read and write ports

   Memory

   

   Solution:

   Instruction and Data Caches

Data Hazard

Data dependency between instructions

1. R Type Instructions

   

   Solution

   (1)Stalling

   Bubble: NOP(add x0 x0 x0)

   

   (2)Forwarding(Bypass)

   

2. Load

   Forwarding Problem

   Solution

   (1)Hardware Stall

   

   (2)Stall

   

   (3)Code Scheduling

   

Control Hazard