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. l. -- --- crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68