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

[Luke Kenneth Casson Leighton]

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.

nice.

l.