/ILA_Rocket

Primary LanguageVerilog

RISC-V ILA vs Rocket Implementation

User Level ISA : RV32I

  • 8 branch/jump instructions
  • 5 load instructions
  • 3 store instructions
  • 10 ALU instructions
  • 9 ALU-immediate instructions
  • 2 immediate instructions

Build & Run

  1. Install this version of Ilang ILA-Tools/refinement-upgrade.
  2. Build
mkdir -p build && cd build
cmake .. 
make
  1. Run
mkdir ../verification
./RiscV_RV32IExe

Verification scripts will be generated under the verifcation folder for every instruction.

Docker

A docker image installed with the required dependencies is available at Docker Hub.

Contact: qinhant@princeton.edu