[libre-riscv-dev] daily kan-ban update 28may2020

[Luke Kenneth Casson Leighton]

On Thu, May 28, 2020 at 8:33 PM Cole Poirier <colepoirier at gmail.com> wrote:

> Continue working on proof_regfile.py with luke

(thank you to Michael for confirming about using "Initial()")

i'm currently doing a CompUnit version of ALU test_pipe_caller.py.
it's thrown a spanner in the works of MultiCompUnit interaction with
ready-valid signalling.  DummyALU's ready-valid signalling is not good
enough: it doesn't conform to the nmutil pipeline API, and neither
does MultiCompUnit.

l.