[libre-riscv-dev] BlueSpec Floating Point

Immanuel, Yehowshua U yimmanuel3 at gatech.edu
Sun Mar 29 20:03:18 BST 2020

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.

More information about the libre-riscv-dev mailing list