From afa2f78d1671e181cffdab1c70ebd8ad17b7ec7b Mon Sep 17 00:00:00 2001 From: lkcl Date: Sun, 12 Jul 2020 23:44:49 +0100 Subject: [PATCH] --- lkcl.mdwn | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/lkcl.mdwn b/lkcl.mdwn index a030d4741..ed80848d9 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -19,20 +19,13 @@ move things along from one stage to the next - functions needed for simulator - Shared 10% with [[mnolan]] - LDST buffer - - ALU pipe - - ALU proof - test core to regfiles - - Branch pipe - - Branch proof - - CR pipe - - CR proof - MUL pipe - MUL proof - DIV pipe - DIV proof - Trap pipe - Trap proof - - Logic pipe - Compunit RA=0 test - POWER9 regfiles - SPR pipe @@ -50,6 +43,13 @@ move things along from one stage to the next ## Completed but not yet submitted: - SRAM wishbone object + - ALU pipe + - ALU proof + - Branch pipe + - Branch proof + - CR pipe + - CR proof + - Logic pipe ## Submitted for NLNet RFP -- 2.30.2