[Libre-soc-dev] daily kan-ban update 28sep2020

[Luke Kenneth Casson Leighton]

On Mon, Sep 28, 2020 at 1:31 PM Cesar Strauss <cestrauss at gmail.com> wrote:

> * Wrote formal proof and cover traces for src/soc/experiment/alu_fsm.py
>
> It is challenging to get right, but at least saves the effort of having
> to come up with unit tests for all possible combinations of corner cases.

yes, they are extremely valuable, just difficult to get right.

thank you for the comprehensive report, cesar.

l.