[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 03:22:52 GMT 2020

On 2/3/20, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:

> see wiki page gt is not that different from eq.


oh, forgot to say: the next thing we need is to add support for
trinary SIMD partitioned values. if you could study how that is done
it woule be very helpful.

More information about the libre-riscv-dev mailing list