Based on Lab 3 (simple single-cycle CPU), add a memory unit to implement a complete single-cycle CPU which can run R-type, I-type and jump instructions.

2. Demands

1. Please use iverilog as your HDL simulator.
2. v, and TestBench.v are supplied. Please use these modules and modules in Lab 3 to accomplish the design of your CPU.

Specify in your report if you have any other files in your design.

3. Submit all *.v source files and report(pdf) on new e3. Other form of file will get -10%.
4. Refer to Lab 3 for top modules name and IO ports.

Initialize the stack pointer (i.e., Reg_File[29]) to 128, and other registers to 0

Decoder may add control signals:

• Branch_o
• Jump_o
• MemRead_o
• MemWrite_o
• MemtoReg_o

3. Requirement description

1. Basic instruction:

Lab 3 instruction + lwswbeqbnej

Format:

R-type

Definition: lw instruction:

memwrite is 0, memread is 1, regwrite is 1 Reg[rt] Mem[rs+imm]

sw instruction:

memwrite is 1, memread is 0 Mem[rs+imm] Reg[rt]

branch instruction:

branch is 1, and decide branch or not by do AND with the zero signal from ALU beq:

if (rs==rt) then PC=PC+4+ (sign_Imm<<2)

bne:

if (rs!=rt) then PC=PC+4+ (sign_Imm<<2)

Jump instruction:

jump is 1

PC={PC[31:28], address<<2}

Op field:

Extend ALUOp from 2-bit to 3-bit: (You can modify this if necessary)

1. Advance set 1:

Jal: jump and link

In MIPS, 31th register is used to save return address for function call Reg[31] save PC+4 and perform jump

Reg[31]=PC+4

PC={PC[31:28], address[25:0]<<2}

Jr: jump to the address in the register rs PC=reg[rs]

e.g. In MIPS, return could be used by jr r31 to jump to return address from JAL.

1. Advance set 2: blt (branch on less than): if( rs<rt ) then branch

bgez (branch greater equal zero): if(rs>=0) then branch

Example: when CPU executes function call:

If you want to execute recursive function, you must use the stack point (REGISTER_BANK [29]). First, store the register to memory and load back after function call has been finished.

4. Architecture Diagram

5. Test

Modify line 139 to 141 of TestBench.v to read different data.

CO_P4_test_data1.txt tests the basic instructions.

CO_P4_test_data2.txt tests the advanced set 1.

CO_P4_test_data2_2.txt test the advanced set 2.

After the simulation of TestBench, you will get the file CO_P4_result.txt. You can verify the result with dataX_result.txt.

If your design passes the test data, the following words would show in the terminal.

You can add more `include instructions if necessary.