From: lkcl <lkcl@web>
Date: Wed, 2 Dec 2020 14:56:23 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1534
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=de1a8dedddb7884aacd5f07ef83eb341e1aa8945;p=libreriscv.git

---

diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn
index 14c19349c..6a6279401 100644
--- a/Cesar_Strauss.mdwn
+++ b/Cesar_Strauss.mdwn
@@ -55,6 +55,10 @@ unit tests.
 	Status: ongoing  
 	Priority: High
 
+11. Formal Proof for CompUnit
+        <https://bugs.libre-soc.org/show_bug.cgi?id=342>
+
+
 ## Completed but not yet submitted:
 
 1. FSM-based ALU example needed (compliant with ALU CompUnit)