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

[Luke Kenneth Casson Leighton]

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