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

[Luke Kenneth Casson Leighton]

https://git.libre-soc.org/?p=soc.git;a=commitdiff;h=HEAD

remember tobias, i said do not use sync, replace that with comb on the
intermediate result.

apart from anything this will make the unit test a great deal simpler to
write.


l.


On Friday, May 15, 2020, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:

>
>
> 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
>
>

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