[libre-riscv-dev] [Bug 165] New: Formally verify the FPCMP (FEQ, FLE, FLT) module

[Michael Nolan]

Luke Kenneth Casson Leighton <lkcl at lkcl.net> writes:

I don't have anything for gt/lt yet, but would something like this be
better for eq? (I think I could modify it for gt/lt as well)

https://i.imgur.com/DRMvTzR.jpg

The muxes are two input, and would copy the inputs straight through when
sel is 0, and swap them when sel is 1.

--Michael

(also, is imgur an acceptable site for sharing images or should I put
them somewhere else?)