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

[Luke Kenneth Casson Leighton]

tobias, take note:

commit 4bca5df68e130da5d816cf0ab10182c4c1d27380 (HEAD -> master, origin/master)
Author: Luke Kenneth Casson Leighton <lkcl at lkcl.net>
Date:   Fri May 15 11:54:35 2020 +0100

    make module combinatorial


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

On Fri, May 15, 2020 at 10:13 AM Luke Kenneth Casson Leighton
<lkcl at lkcl.net> wrote:
>
> 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
>