[Libre-soc-dev] daily kan-ban update 28sep2020
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Mon Sep 28 14:47:47 BST 2020
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.
More information about the Libre-soc-dev