[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