1. ECE 353 ECE 353 Fall 2007 Lab 3 Machine Simulator November 1, 2007

2. 2 ECE 353 Aims of Lab 3  Reinforce your understanding of pipelining  Provide additional experience in C programming Managing queues  Introduce you to time-driven simulation

3. 3 ECE 353 Outline of Lab  Write a simulator for the MIPS five-stage pipeline (covered in ECE 232) that does the following: Implements a subset of the instruction set (LW, SW, BEQ, ADD, SUB, MUL, ADDI) Reads from a file an assembly language program Simulates, cycle by cycle, the activity in all registers associated with that program Displays the values of all the integer registers (except for register 0) and the PC Gives the user the option of stepping through the simulation, cycle by cycle, or just checking the registers at the end of the program and the utilization of each stage

4. 4 ECE 353 Types of Simulator  Event-Driven Simulator: Identifies events of interest in the system being simulated, orders them in time, and moves down the ordered list of events, simulating the machine as it goes. Example: Queuing network simulator for a computer network.  Time-Driven Simulator: Has a central clock and moves from one clock cycle to the next, simulating all the activity of interest in that clock cycle. Example: Architecture simulator

5. 5 ECE 353 Five-Stage Pipeline  IF Stage: Fetches instructions If a conditional branch is encountered, the fetch unit stops fetching until that branch is resolved. The IF stage places fetched instructions in an instruction queue, to be consumed by the ID stage. The instruction queue can hold up to q instructions, where q is an input to the simulator. Assume the PC has its own dedicated adder to increment the byte address by 4 (or word address by 1).  ID Stage: Decodes the instructions in the instruction queue, one by one. Immediate operands are sign-extended to 32 bits Makes operands available to the EX stage Generates control signals

6. 6 ECE 353 Five-Stage Pipeline (contd.)  EX Stage: Executes arithmetic/logical instructions BEQ instructions are resolved in this stage  MEM Stage: Carries out access to the data memory  WB Stage: Writes back into the register file (if necessary)

7. 7 ECE 353 Simplifying Assumptions  Separate instruction and data memories; all memory accesses are hits. No need to model cache misses.  There is just one ALU and it is NOT pipelined. It takes m cycles for MUL n cycles for all other arithmetic operations m and n are input parameters to the simulator Integer operations only: FP is not implemented  No forwarding is available in this pipeline  Ignore all interrupts  Register writes are done in the first half of a clock cycle; register reads in the second

8. 8 ECE 353 Interaction between IF and ID stages  IF must not overrun the ID unit: if the instruction queue fills up, IF must stop fetching until there is at least one empty slot in the queue  ID must not overrun the IF unit

9. 9 ECE 353 Parsing Instructions  The assembly language program must be read by the simulator You can use a case statement associated with each possible instruction, which tells the simulator what to do with that instruction.  When an instruction reaches the ID stage, controls governing the rest of its activity will be generated.

10. 10 ECE 353 A Straightforward Approach  Mimic within the simulator what happens in the MIPS pipeline Generate the control signals associated with each instruction in the ID stage Pass these signals along, stage by stage, along with the instruction. Don’t forget to check for data hazards Use a branch_pending signal to guide the IF unit.  Every clock tick, mimic what is supposed to happen in each of the five stages and collect statistics on which stages are doing anything useful

11. 11 ECE 353 Maintain Data Memory State  Keep track of the contents of the data memory  Each data memory access takes c cycles  Some data (as specified by the lab handout) will already be in the data memory when the program starts Make any reasonable assumption about the addresses of your data  No virtual memory: assume all addresses are physical  Assume the total physical data memory size is 8KBytes = 2Kwords.  Data and instruction address spaces are separate

12. 12 ECE 353 Instruction Memory  The program starts at location 0 of the instruction memory  The PC will point to this location at the beginning of the simulation  All addresses are physical: no virtual addresses (no need for TLBs or page tables)  Each memory access takes 1 cycle  Assume the total physical instruction memory size is 8 Kbytes (2 Kwords). Simulate this with a linear, word-addressed, array of 4096 entries.

13. 13 ECE 353 Test Program  Multiplication of two 10X10 matrices: C=A X B.  Starting address of matrices A, B, and C are already in registers $1, $2, and $3 when execution begins (since you don’t have a virtual memory management system, don’t worry about how these addresses were loaded into these registers): pick any appropriate starting data addresses  The values of A and B for the test program are: A[i][j] = B[i][j] = i*2+j. Initialize your simulator by loading these values into the data memory: should be a separate function called d_initialize.

14. 14 ECE 353 Simplifications  To make it easier for you to read in the assembly language program: The assembly language is redefined to do away with commas; spaces will do instead. No register names will be used: register numbers only. Example: add 3 2 1 means add register 1 contents to those of register 2 and put the result in register 3. The SW and LW instructions are redefined to remove their offset field Example: lw 5 3 means to load into register 5 from the memory at the location pointed to by register 3.  For 10% extra credit, remove all these limitations and enable the simulator to accept the standard MIPS assembly language format.

15. 15 ECE 353 Simplifications (contd.)  Don’t use labels in your program: instead the beq instruction will identify its target by an offset. Remember from ECE 232 that the offset is with respect to the instruction following beq and is in units of words, not bytes Example: beq 4 5 -2 means that if the contents of registers 4 and 5 are identical, we branch to the instruction immediately preceding beq.  For 5% extra credit, endow the simulator with the ability to handle instruction labels.

16. 16 ECE 353 Reading the Assembly Language Program  C provides a number of ways in which to read input. For example, fscanf(fp, “%s %d %d %d”, opcode, &field2, &field3, &field4); where fp is a file pointer, opcode is a character array, and field2, field3, and field4 are integers

17. 17 ECE 353 Parsing the Assembly Language Program  Some useful library functions (remember to #include ): strcpy: Copies one string into another strcmp: Compares two strings. Note that this will give you an output of 0 if the two strings match.

18. 18 ECE 353 Intermediate Checkpoints Show a TA the following items:  Code for reading the assembly program (by November 13 – carries deadline-sensitive 5% credit): Write assembly code to multiply two 10X10 matrices Demonstrate that your code for reading the assembly code from a file works correctly  Code for Instruction Queue Management: (by November 15 – carries deadline-sensitive 5% credit): Interaction between IF and ID units Handling unresolved branches Demonstrate that your code works correctly

19. 19 ECE 353 Simulator Output  The simulator can be set to operate in either of two modes: single-step or batch  Output consists of Contents of each of the 31 registers $1 to $31 and that of the PC (in decimal) The number of clock cycles that have elapsed Utilization of each stage IF, ID, EX, MEM, WB. In single-step mode, this will be the utilization so far; in batch mode, this will be the utilization for the entire program The utilization of a stage is the number of cycles during which that stage did anything useful divided by the total number of cycles

20. 20 ECE 353 Lab Report  Description of the structure of your simulator: Include How the IF stage manages branches and how it knows that branches have been resolved How hazards are handled How instructions are prevented from progressing if there’s a data or structural hazard How you implement single-step mode  Source code for your simulator Fully document your code Keep the code as well-structured as possible  Matrix multiplication program: For the parameter values specified in the lab document, plot the following: Assembly language code Total execution time Fraction of fetch buffer utilized Utilization of each pipeline stage