Module riscv

Module with traits and constants for RISC-V instruction definitions for custom OpenVM instructions.

Constants

RV32_CELL_BITS

RV32_IMM_AS

RV32_MEMORY_AS

RV32_REGISTER_AS

RV32_REGISTER_NUM_LIMBS

32-bit register stored as 4 bytes (4 limbs of 8-bits) in OpenVM memory.