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

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=211

--- 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.