[libre-riscv-dev] [Bug 353] formal proof of soc.regfile classes RegFile and RegFileArray needed

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Fri May 29 00:41:42 BST 2020


--- Comment #22 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Cole Poirier from comment #21)

> Ok. Pushed a commit with that. Can you take a look?

done.  updated.  basically, this is... complicated.  there's time-dependent
interactions.  i actually managed to get one case to work: when wen is
not set, the reg should not change.  past value should equal the present value.

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

More information about the libre-riscv-dev mailing list