Cesar Strauss (cesar_strauss)

Status Tracking

Payment not yet submitted

NLnet.2022-08-107.ongoing

  • 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 #1036: Formal Proof for LDSTCompUnit is needed
    • subtotal €2400 out of total including subtasks of €3000

Submitted to NLNet but not yet paid

NLnet.2022-08-107.ongoing

  • Bug #1004: FPGA bring up for platform definitions
    • submitted on 2024-07-18
    • €1000 out of total of €1500
    • this task is part of MoU Milestone Bug #1037

MoU Milestone subtotals for submitted but not yet paid payments

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

Paid by NLNet

NLnet.2019.02.012

  • 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

NLNet.2019.10.032.Formal

  • 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

NLNet.2019.10.046.Standards

  • 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

NLNet.2019.10.043.Wishbone

  • 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

NLnet.2022-08-051.OPF

  • 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