This is an old revision of the document!
MARIE - Extend the ISA
Deadline: 17.01.2026, 23:59
Publish date: 07.01.2026
Last update: 07.01.2026, 19:05
History:
Objectives
The primary objective of this assignment is to build up a stronger perspective around the MARIE architecture and to further develop your proficiency in Verilog. You will:
Use the
MARIE simulator to examine the micro-operations associated with each instruction;
Correlate the observed instruction behavior with its corresponding Verilog implementation;
Design and implement several new instructions in Verilog, and use the provided test cases to verify and analyze their correct functionality.
Description and requirements
For this assignment, you will continue the implementation of the MARIE CPU instruction set architecture (ISA) by adding support for the following instructions:
Subt X - Subtract value at address X from the AC.
JnS X - Store the address of the next instruction into memory at address X, then jump to X + 1.
LoadI X - Use the contents at address X as the address of the value to load into the AC.
LoadImmi X - Set the AC to the given 12-bit unsigned immediate value X. (This instruction overwrites the Clear instruction)
SkipCond X - Skip the next instruction if the condition indicated by X holds (see details in the textbook)
You can refer to the implementation details in Chapter 4 of the textbook as well as in the simulator’s Databook. Some instructions constitute extensions of the original set of proposed instructions; their descriptions are provided exclusively in the Databook.
Implementation
The file to be modified is control_unit.v. Several distinct states must be introduced for each instruction to achieve the required functionality. The micro-operations outlined in the simulator should be used as a guide. Each micro-operation should be associated with its own separate state.
In the simulator, you may begin with a basic example. After assembling and executing the program in micro-step mode, you will be able to observe each instruction being carried out step-by-step. Your implementation may follow it!
Notes
Your project must include a README file describing the details of your implementation, including the state machine implemented in the control_unit. Inline comments within the Verilog code are also encouraged.
The implementation should follow the methodology used during the laboratory sessions.
There is no restriction on the number of states; you may implement each instruction separately or reuse the common states that have already been implemented.
Each instruction should be implemented and tested individually, as this approach simplifies debugging. A separate test-case is provided for this case.
Additional details
This assignment is an individual assignment; using any code from external sources can be considered as plagiarism and can lead to voiding the accumulated points!
Grading
+10.0 pts.: correct implementation with the test passing (2.0 pts for each instruction)
-10.0 pts.: compilation failed;
-10.0 pts.: using looping instructions with variable steps (i.e. while x > 0);
-50% pts.: the absence of the README file;
-2.0 pts.: the files are not correctly uploaded in the moodle section;
-1.0 pts.: bad coding style (chaotic indentation, irregular spacing, strange naming for variables, etc.);
-1.0 pts.: incorrect using of continuous assignments ( assign ), procedural blocking ( = ) and non-blocking ( ⇐ ) assignments;
-0.2 pts.: other generic implementation issues (/issue);
-0.1 pts.: useless code comments.
Even if the test(s) are not passing, each instruction may account for up to 25% of it's associated points if you clearly explain he underlying approach in the README file. The submitted code must compile successfully.
Recourses
Appendix