From: lkcl Date: Sun, 12 Jul 2020 22:44:49 +0000 (+0100) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~2362 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afa2f78d1671e181cffdab1c70ebd8ad17b7ec7b;p=libreriscv.git --- 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