X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=Cesar_Strauss.mdwn;h=683c27adb1f017ec0f7dd4e94bcf78f3e509b5ab;hb=29a1dea3089985d4700991f460d1dce6f9b142f0;hp=81d74613ac8cdaeb814fe1fc3aa2a494b8d94e01;hpb=263f8654f79905bda3a50504420d38303918e9e5;p=libreriscv.git diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn index 81d74613a..683c27adb 100644 --- a/Cesar_Strauss.mdwn +++ b/Cesar_Strauss.mdwn @@ -2,33 +2,83 @@ Contributor +* [Bugtracker assignments](https://bugs.libre-soc.org/buglist.cgi?email1=cestrauss@gmail.com&emailassigned_to1=1&emailcc1=1&emailtype1=substring&resolution=---) + # Status Tracking ## Currently working on 1. ALU CompUnit needs to recognise that RA (src1) can be zero - Status: not started + Status: DONE + Unit test Status: in progress + 2. Something about the above (5), being optional. - Status: not started + Status: DONE + Unit test Status: in progress -3. Code-morph LDSTCompUnit to use RecordObject structure, like CompUnitALU +3. CompALUMulti parallel functions unit test + + Priority: Medium-to-High + +4. Code-morph LDSTCompUnit to use RecordObject structure, like CompUnitALU - 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 - 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. - 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 Status: Luke thinks he fixed it, but needs a review and improving the -unit tests. See: +unit tests. + See: + Priority: Medium + +8. LDSTCompUnit parallel functions unit test + + Priority: Medium-ish + +11. Formal Proof for CompUnit + + +12. Formal Proof for PartitionedSignal + + Status: in progress + +13. Implement simple VL for-loop in nMigen for TestIssuer + + Status: in progress + +## Completed but not yet submitted: + +1. FSM-based ALU example needed (compliant with ALU CompUnit) + + +2. Fix MSB0 issues in the SVP64 Assembler, Simulator and Decoder + + +## Submitted for NLNet RFP + +## Paid + +### NLNet.2019.10.Wishbone +* [Bug #475](https://bugs.libre-soc.org/show_bug.cgi?id=475): + cxxsim improvements + * Ran several Libre-SOC tests under cxxsim + * Helped isolate simulator issues by extracting a MVCE +(Minimal, Verifiable, Complete Example) in each case. + * paid on 2021-05-11 + * €250 out of total of €1750