Expand description
An interpreter for the RISC-V 32IM instruction set, following the specification on riscv.org.
Modules§
- column
 - List all columns used by the interpreter
 - constraints
 - interpreter
 - This module implement an interpreter for the RISCV32 IM instruction set architecture.
 - registers
 - All the registers used by the ISA
 - witness
 
Constants§
- INSTRUCTION_
SET_ SIZE  - Number of instructions in the ISA
 - PAGE_
ADDRESS_ MASK  - PAGE_
ADDRESS_ SIZE  - PAGE_
SIZE  - SCRATCH_
SIZE  - The minimal number of columns required for the VM
 - SCRATCH_
SIZE_ INVERSE