[libre-riscv-dev] Beginning Steps and Deadlines

Immanuel, Yehowshua U yimmanuel3 at gatech.edu
Sun Jan 5 19:35:02 GMT 2020

Previous message (by thread): [libre-riscv-dev] Beginning Steps and Deadlines
Next message (by thread): [libre-riscv-dev] Beginning Steps and Deadlines
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> the biggest piece of work is the IEEE754 FPU. woo :)

Yeah - I’m just trying to imagine formally verifying that!

Previous message (by thread): [libre-riscv-dev] Beginning Steps and Deadlines
Next message (by thread): [libre-riscv-dev] Beginning Steps and Deadlines
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the libre-riscv-dev mailing list