(no commit message)

[libreriscv.git] / Cesar_Strauss.mdwn

diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn
index 4625249571d4293fc027c1b93621c8f78bddc80b..f700443b3a320a1450102b0260b8e25a9fdcf4c0 100644 (file)
--- a/Cesar_Strauss.mdwn
+++ b/Cesar_Strauss.mdwn
@@ -2,7 +2,7 @@
 
 Contributor
 
-* [Bugtracker assignments](https://bugs.libre-soc.org/buglist.cgi?email1=cesar&emailassigned_to1=1&emailtype1=substring&resolution=---)
+* [Bugtracker assignments](https://bugs.libre-soc.org/buglist.cgi?email1=cestrauss@gmail.com&emailassigned_to1=1&emailcc1=1&emailtype1=substring&resolution=---)
 
 # Status Tracking
 
@@ -10,37 +10,63 @@ Contributor
 
 1. ALU CompUnit needs to recognise that RA (src1) can be zero  
        <https://bugs.libre-soc.org/show_bug.cgi?id=336>  
-       Status: DONE
+       Status: DONE  
        Unit test Status: in progress
 
 
 2. Something about the above (5), being optional.  
        <https://bugs.libre-soc.org/show_bug.cgi?id=336#c5>  
-       Status: DONE
+       Status: DONE  
        Unit test Status: in progress
 
-3. Code-morph LDSTCompUnit to use RecordObject structure, like CompUnitALU  
+3. CompALUMulti parallel functions unit test  
+       <https://bugs.libre-soc.org/show_bug.cgi?id=336#c11>  
+       Priority: Medium-to-High
+
+4. Code-morph LDSTCompUnit to use RecordObject structure, like CompUnitALU  
        <https://bugs.libre-soc.org/show_bug.cgi?id=318#c18>  
-       Status: Need a review of Luke's implementation, compared to mine.
+       Status: Need a review of Luke's implementation, compared to mine.  
        Priority: Low
 
-4. Test dual ports (two L0CacheBuffer with two ports, 4-4 as well) which
+5. Test dual ports (two L0CacheBuffer with two ports, 4-4 as well) which
 write to the same memory  
        <https://bugs.libre-soc.org/show_bug.cgi?id=318#c11>  
-       Status: not started
+       Status: not started  
        Priority: High
 
-5. Luke tried two LDs in the score6600 code - they failed.  
+6. Luke tried two LDs in the score6600 code - they failed.  
        <https://bugs.libre-soc.org/show_bug.cgi?id=318#c17>  
-       Status: not started, need to check the [prototype] L0CacheBuffer
+       Status: not started, need to check the [prototype] L0CacheBuffer  
        Priority: High
 
-6. Fix a bug in the LDSTCompUnit  
+7. Fix a bug in the LDSTCompUnit  
        <https://bugs.libre-soc.org/show_bug.cgi?id=318>  
        Status: Luke thinks he fixed it, but needs a review and improving the
-unit tests. See: <https://bugs.libre-soc.org/show_bug.cgi?id=318#c7>
+unit tests.   
+       See: <https://bugs.libre-soc.org/show_bug.cgi?id=318#c7>  
        Priority: Medium
 
-7. CompALUMulti parallel functions unit test  
-       <https://bugs.libre-soc.org/show_bug.cgi?id=336#c11>  
-       Priority: Medium
+8. LDSTCompUnit parallel functions unit test  
+       <https://bugs.libre-soc.org/show_bug.cgi?id=350>  
+       Priority: Medium-ish
+
+10. Find root cause of cxxsim hang  
+       <https://bugs.libre-soc.org/show_bug.cgi?id=475#c2>  
+       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)  
+       <https://bugs.libre-soc.org/show_bug.cgi?id=417>  
+       
+## Submitted for NLNet RFP
+
+## Paid