seal5.backends.riscv_instr_info.writer

Clean M2-ISA-R/Seal5 metamodel to .core_desc file.

Functions

gen_intrinsic_pattern(instr, intrinsic)
gen_riscv_instr_info_str(instr, set_def)
main()	Main app entrypoint.
process_encoding(enc)
write_riscv_instruction_info(name, ...[, ...])

Classes

EncodingField(name, start, length[, value, ...])
Operand(name, lower, upper)