Cesar Strauss (cesar_strauss)

Status Tracking

Bug #990: gram needs changes to work on the orangecrab
- €3000 out of total of €4500
- this task is part of MoU Milestone Bug #1037
Bug #1004: FPGA bring up for platform definitions
- €1100 out of total of €1500
- this task is part of MoU Milestone Bug #1037
Bug #1036: Formal Proof for LDSTCompUnit is needed
- €2400 out of total of €3000
- this task is a MoU Milestone

MoU Milestone subtotals for not yet submitted payments

Bug #1037: improvements of Libre-SOC core support on FPGA boards
- subtotal €4100 out of total including subtasks of €6000

MoU Milestone subtotals for not yet submitted payments

Bug #1036: Formal Proof for LDSTCompUnit is needed
- subtotal €2400 out of total including subtasks of €3000

Bug #583: Implement simple VL for-loop in nMigen for TestIssuer
- submitted on 2022-06-16
- paid on 2022-07-21
- €2325 which is the total amount
- this task is part of MoU Milestone Bug #22

MoU Milestone subtotals for paid payments

Bug #22: FPGA proof-of-concept test needed
- subtotal €2325 out of total including subtasks of €6125

Bug #342: formal proof of soc.fu.compunits.FunctionUnitBaseSingle needed
- submitted on 2022-07-04
- paid on 2022-07-21
- €2500 which is the total amount
- this task is part of MoU Milestone Bug #197
Bug #565: Improve formal verification on PartitionedSignal
- submitted on 2022-06-16
- paid on 2022-07-21
- €2200 out of total of €3000
- this task is part of MoU Milestone Bug #196
Bug #879: Formal proof of soc.experiment.compalu_multi.MultiCompUnit needed
- submitted on 2022-10-12
- paid on 2022-11-02
- €2500 which is the total amount
- this task is part of MoU Milestone Bug #197

MoU Milestone subtotals for paid payments

Bug #197: Formal correctness proof needed of the 6600-style Out-of-Order execution engine
- subtotal €5000 out of total including subtasks of €5000

MoU Milestone subtotals for paid payments

Bug #196: Formal correctness proof needed for the IEEE754 FPU
- subtotal €2200 out of total including subtasks of €12000

Bug #588: add SVP64 to PowerDecoder2
- submitted on 2022-06-16
- paid on 2022-07-21
- €300 out of total of €1000
- this task is part of MoU Milestone Bug #241

MoU Milestone subtotals for paid payments

Bug #241: OpenPOWER Simulation is needed of standards
- subtotal €300 out of total including subtasks of €12000

Bug #475: cxxsim improvements
- submitted on 2021-05-05
- paid on 2021-05-11
- €250 out of total of €1750
- this task is part of MoU Milestone Bug #362

MoU Milestone subtotals for paid payments

Bug #362: improvements to nmigen and yosys
- subtotal €250 out of total including subtasks of €7000

Bug #1070: Simple-V / Libre-SOC FOSDEM Conference Feb 03-04 2024
- submitted on 2024-02-25
- paid on 2024-03-08
- €1750 out of total of €4500
- this task is part of MoU Milestone Bug #1019

MoU Milestone subtotals for paid payments

Bug #1019: OPF ISA WG Draft RFC Presentations, Conferences and general outreach
- subtotal €1750 out of total including subtasks of €9000