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

[Luke Kenneth Casson Leighton]

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

> I've now done the conversion of countzero.vhdl and most of the testbench.


fantastic.  next step, to put it into the Logical pipeline and write a
formal correctness proof (that's the bit that can receive donations!)



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