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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat Jan 2 18:42:42 GMT 2021

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.


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

More information about the Libre-soc-dev mailing list