[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