[Libre-soc-bugs] [Bug 419] MUL pipeline formal proof needed

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Aug 29 23:48:33 BST 2020


https://bugs.libre-soc.org/show_bug.cgi?id=419

--- Comment #14 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/fu/mul/post_stage.py;h=dbe560e96e61c5ffbd2897e8d8345529aa101bad;hb=HEAD#l42

but, first, these need fixing.

* o.ok should never be set unconditionally.  this says "results are being
produced all the time" which is Bad.

* xer_ov.ok should only be set if there is the possibility of an overflow: on
MUL L64

will raise as a new bug

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


More information about the libre-soc-bugs mailing list