[libre-riscv-dev] BlueSpec Floating Point

[Immanuel, Yehowshua U]

On Mar 29, 2020, at 2:46 PM, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:
> 
> we have an NLNet budget for FP.Formal proof work btw.

Ok. I’ll see what I can do for floating point in BSV and how well formal can work.