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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Feb 3 07:11:27 GMT 2020

On 2/3/20, Michael Nolan <mtnolan2640 at gmail.com> wrote:

> Yep, from what I understand it's ~(lt | eq).

you can't do the same trick with le.

 Of course as I learned with
> the scalar comparisons, LT and EQ are not as straightforward as they
> seem. Stupid -0.


More information about the libre-riscv-dev mailing list