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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri May 15 10:09:58 BST 2020


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


More information about the libre-riscv-dev mailing list