From: Cesar_Strauss Date: Sat, 18 Jun 2022 21:33:46 +0000 (+0100) Subject: Add RFPs submitted recently X-Git-Tag: opf_rfc_ls005_v1~1702 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d8e4fc1b2e5971e8ee678e455f054260cba4f24a;p=libreriscv.git Add RFPs submitted recently --- diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn index 683c27adb..8f18cf814 100644 --- a/Cesar_Strauss.mdwn +++ b/Cesar_Strauss.mdwn @@ -71,6 +71,27 @@ unit tests. ## Submitted for NLNet RFP +### NLnet.2019.02.012 + +* [Bug #583](https://bugs.libre-soc.org/show_bug.cgi?id=583): + Implement simple VL for\-loop in nMigen for TestIssuer + * €2325 which is the total amount + * submitted on 2022-06-16 + +### NLNet.2019.10.032.Formal + +* [Bug #565](https://bugs.libre-soc.org/show_bug.cgi?id=565): + Improve formal verification on PartitionedSignal + * €2200 out of total of €3000 + * submitted on 2022-06-16 + +### NLNet.2019.10.046.Standards + +* [Bug #588](https://bugs.libre-soc.org/show_bug.cgi?id=588): + add SVP64 to PowerDecoder2 + * €300 out of total of €1000 + * submitted on 2022-06-16 + ## Paid ### NLNet.2019.10.Wishbone