[libre-riscv-dev] daily kan-ban update 08mar2020

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri May 8 23:48:49 BST 2020

On Fri, May 8, 2020 at 9:47 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:

> I think I made some decent progress on this. I implemented a couple
> instructions in the ALU, and wrote both formal proofs for what I expect
> the ALU stages to do, as well as a test that compares the output of the
> alu from the output of the power_pseudo simulator.



More information about the libre-riscv-dev mailing list