From fcdbb7ddd5c940b72844b8f2ce440e6301b57ec0 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 5 Oct 2020 12:58:57 +0100 Subject: [PATCH] --- lkcl.mdwn | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/lkcl.mdwn b/lkcl.mdwn index 6147b4200..35a3afdf9 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -61,26 +61,28 @@ move things along from one stage to the next - addme bug - EUR 100 - - POWER Decoder +donated: + + - POWER Decoder - with [[lkcl]] - - CORDIC - - + - CORDIC + - - functions needed for simulator - Shared 90% with [[lkcl]] - - parent #198 + - parent #198 - Formal proof of decoder - EUR 200 - - parent #195 + - parent #195 - POWER9 ALU proof - - parent #195 + - parent #195 - POWER9 CR proof - - parent #195 + - parent #195 - POWER9 BRANCH proof - - parent #195 + - parent #195 - POWER9 LOGICAL proof - - parent #195 + - parent #195 - POWER9 ROTATE proof - - parent #197 + - parent #197 - MultiCompUnit (and Function Units) proof ## Submitted for NLNet RFP -- 2.30.2