Module riscv32im

Source
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