[Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU

[bugzilla-daemon at libre-soc.org]

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

--- Comment #12 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #11)

> the problem is that the mere act of generating an answer encoded as a fp
> number *is rounding* (even if not following any defined rounding mode).

then that would default temporarily to the exact same rounding mode implemented
in the current HDL.

be flexible here. work with what is.

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