[libre-riscv-dev] Beginning Steps and Deadlines

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sun Jan 5 21:47:36 GMT 2020


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


More information about the libre-riscv-dev mailing list