[libre-riscv-dev] Beginning Steps and Deadlines

[Luke Kenneth Casson Leighton]

On Monday, January 6, 2020, Immanuel, Yehowshua U <yimmanuel3 at gatech.edu>
wrote:

> > the biggest piece of work is the IEEE754 FPU. woo :)
>
> Yeah - I’m just trying to imagine formally verifying that!


:)

we have someone willing to give it a shot.

l.



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