From: lkcl Date: Wed, 5 Aug 2020 11:32:08 +0000 (+0100) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~2290 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6bea1ad0efebc27414680f5f1cc00984c3284dfd;p=libreriscv.git --- diff --git a/lkcl.mdwn b/lkcl.mdwn index 4c37ade64..c4929be70 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -22,7 +22,6 @@ move things along from one stage to the next - test core to regfiles - MUL pipe - MUL proof - - DIV pipe - DIV proof - Compunit RA=0 test - POWER9 regfiles @@ -56,6 +55,7 @@ move things along from one stage to the next - add mtmsrd - illegal instructions - MSR and PC "state" + - DIV pipe ## Submitted for NLNet RFP