[libre-riscv-dev] daily kan-ban update 31may2020
Tobias Platen
libre-soc at platen-software.de
Sun May 31 21:12:02 BST 2020
today:
mostly working on formal verification of the module I have written in the last week.
More information about the libre-riscv-dev
mailing list