mini-rv32ima
mini-rv32ima copied to clipboard
Human readable unit tests for rv64imafdc instructions
While developing my emulator (specifically implementing FD) i modified spike
and dumped all register and csr reads/writes
Spend on it couple of days.
Maybe here it would be useful for someone.
File is gz compressed text file. Each line is json object.
Fields:
type - single_instruction always
extension - rv ext
instruction - assemby mnemonic
text_encoding - disassembly
binary_encoding - actual bytes of instruction
initials - initial state of emulator
- type
- xreg_value
- index - integer register id
- value
- pc_value
- value
asserts - conditions that checked after instruction executed