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

[Michael Nolan]

On 5/8/20 11:25 AM, Luke Kenneth Casson Leighton wrote:
> On Fri, May 8, 2020 at 3:03 PM Michael N <mtnolan2640 at gmail.com> wrote:
>
>>> On May 8, 2020, at 9:28 AM, Michael Nolan <mtnolan2640 at gmail.com> wrote:
>>>
>>> Now that I have branches working in the simulator, I was thinking of starting work on the integer ALU. Taking a look at alu_hier.py, I think I'll keep the interface but replace the implementation with a pipelined one.

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.

--Michael