[libre-riscv-dev] daily kan-ban update 31may2020

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sun May 31 23:14:21 BST 2020

On Sunday, May 31, 2020, Tobias Platen <libre-soc at platen-software.de> wrote:

> today:
> mostly working on formal verification of the module I have written in the
> last week.

great to hear.


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

More information about the libre-riscv-dev mailing list