libreplanet-discuss
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC:


From: Luke Kenneth Casson Leighton
Subject: Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V SoC: call for participation
Date: Fri, 13 Mar 2020 10:29:38 +0000

On Fri, Mar 13, 2020 at 1:38 AM Samuel Falvo II <address@hidden> wrote:

> Congrats!!

thanks sam (and adrienne, and hector)

> I won't be able to focus on it, unfortunately.

that's ok.  that you taught us the value of formal mathematical proofs
for HDL unit tests is an incredibly valuable contribution in itself
that's saving us a vast amount of time and effort, allowing us to
focus NLNet's funds much more effectively.

warmly,

l.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]