mini-rv32ima icon indicating copy to clipboard operation
mini-rv32ima copied to clipboard

Human readable unit tests for rv64imafdc instructions

Open misterjdrg opened this issue 2 years ago • 0 comments

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

testcases.jsonlines.gz

misterjdrg avatar Dec 15 '22 07:12 misterjdrg