seal5.riscv_utils

Functions

build_riscv_mattr(features[, xlen])

detect_format(instr_def)

detect_funct3_funct7(instr_def)

detect_opcode(instr_def)

get_riscv_defaults([riscv_settings])