(no commit message)

[libreriscv.git] / Cesar_Strauss.mdwn

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