Cesar Strauss (cesar_strauss)

Status Tracking

Payment not yet submitted

NLnet.2022-08-107.ongoing

  • 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
    • €300 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 part of MoU Milestone Bug #737

MoU Milestone subtotals for not yet submitted payments

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

MoU Milestone subtotals for not yet submitted payments

  • Bug #737: in-order single-issue Power ISA 3.0 core
    • subtotal €2400 out of total including subtasks of €7000

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