[Libre-soc-dev] daily kan-ban update 02jan2021

[Luke Kenneth Casson Leighton]

On Saturday, January 2, 2021, Cesar Strauss <cestrauss at gmail.com> wrote:
> Last few weeks
> ==============
>

> Future work
> ===========
>
> * Improve LDSTCompUnit unit tests, add formal verification.
> * Continue working on my task list.
> * Resume writing the write_gtkw tutorial.

thanks cesar this is fantastic.

we do need formal verification of PartitionedSignal, but in a way that it
obvious how it works, so that it is easy to read the proof code.

l.




-- 
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68