[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 18:59:16 GMT 2020

On Monday, February 3, 2020, Michael Nolan <mtnolan2640 at gmail.com> wrote:

It would almost work for eq as well. I think if the gt inputs are set to
> 0 and the right input to the crossbars is set to 1 it would be
> equivalent to the equals case. However, that would mean using actual
> crossbars.

wanna give it a shot?

crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

More information about the libre-riscv-dev mailing list