[libre-riscv-dev] [Bug 211] formal proof of PowerDecoder stage2 needed

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Mon Mar 9 15:54:08 GMT 2020


--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
ok yes.

the decode_fields.py code has two tables that it reads: the FormX etc etc which
extracts the formats, however the useful bit is the actual form (XFX etc).

i *manually* added those as an extra column to the CSV files.

therefore, where they match, we need to ensure that the decoded fields
(register, immediate, SPR, OE, LK etc) are all correctly lined up.

later we will need to add FP fields and args, possibly extra entries to the CSV
files to get at extra fields, have to see

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list