RED Semiconductor Ltd (red)

Status Tracking

Payment not yet submitted

NGI.POINTER.Gigabit.ASIC

  • Bug #739: NGI POINTER Gigabit Router Pinout Considerations
    • €2000 out of total of €4000
    • this task is part of MoU Milestone Bug #850
  • Bug #855: add libre-soc to kestrel
    • €40000 which is the total amount
    • this task is part of MoU Milestone Bug #850
  • Bug #860: PowerEL ppc64sffs
    • €15000 out of total of €40000
    • this task is part of MoU Milestone Bug #912
  • Bug #870: FPGA equipment for NGI POINTER (2)
    • €8000 which is the total amount
    • this task is part of MoU Milestone Bug #850

MoU Milestone subtotals for not yet submitted payments

  • Bug #850: NGI POINTER Milestone 3
    • subtotal €50000 out of total including subtasks of €57000

MoU Milestone subtotals for not yet submitted payments

  • Bug #912: NGI POINTER Milestone 4
    • subtotal €15000 out of total including subtasks of €73000

Paid by NLNet

NLNet.2019.10.032.Formal

  • Bug #195: Formal correctness framework is needed for Power ISA
    • submitted on 2022-07-04
    • paid on 2022-07-21
    • €6550 which is the total amount
    • this task is a MoU Milestone
  • Bug #198: Formal correctness proofs are needed for low-level libraries in LibreSOC
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €5000 out of total of €8850
    • this task is a MoU Milestone

MoU Milestone subtotals for paid payments

  • Bug #195: Formal correctness framework is needed for Power ISA
    • subtotal €6550 out of total including subtasks of €12000

MoU Milestone subtotals for paid payments

  • Bug #198: Formal correctness proofs are needed for low-level libraries in LibreSOC
    • subtotal €5000 out of total including subtasks of €9000

NLNet.2019.10.046.Standards

  • Bug #236: Atomics Standard writeup needed
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €700 out of total of €2500
    • this task is a MoU Milestone
  • Bug #238: POWER Compressed Formal Standard writeup
    • submitted on 2022-06-25
    • paid on 2022-07-21
    • €2000 out of total of €5000
    • this task is a MoU Milestone
  • Bug #728: ISACaller needs a cleanup and partial re-factoring
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €1000 which is the total amount
    • this task is part of MoU Milestone Bug #241

MoU Milestone subtotals for paid payments

  • Bug #236: Atomics Standard writeup needed
    • subtotal €700 out of total including subtasks of €2500

MoU Milestone subtotals for paid payments

  • Bug #238: POWER Compressed Formal Standard writeup
    • subtotal €2000 out of total including subtasks of €5000

MoU Milestone subtotals for paid payments

  • Bug #241: OpenPOWER SImulation is needed of standards
    • subtotal €1000 out of total including subtasks of €12000

NLNet.2019.10.043.Wishbone

  • Bug #797: Add 10/100 OpenCores Ethernet MAC
    • submitted on 2022-08-29
    • paid on 2022-08-31
    • €2300 which is the total amount
    • this task is part of MoU Milestone Bug #249

MoU Milestone subtotals for paid payments

  • Bug #249: Additional Wishbone B4 peripherals for Libre-SOC (including conversion from patented AXI4)
    • subtotal €2300 out of total including subtasks of €12500

NLNet.2019.02.029.Coriolis2

  • Bug #178: first coriolis2 tutorial, workflow and "test project" page
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €950 out of total of €3000
    • this task is a MoU Milestone
  • Bug #199: Layout using coriolis2 main core, 180nm
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €650 which is the total amount
    • this task is a MoU Milestone
  • Bug #200: IEEE754 FPU Coriolis2 layout
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €6250 out of total of €7000
    • this task is a MoU Milestone
  • Bug #201: create specifications for modifications needed for additional nmigen functionality.
    • submitted on 2022-06-25
    • paid on 2022-07-21
    • €9000 which is the total amount
    • this task is a MoU Milestone
  • Bug #203: potential improvements to coriolis2 for LibreSOC Layout
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €7000 which is the total amount
    • this task is a MoU Milestone
  • Bug #507: ls180 asic needs an ioring, pads need defining and connecting
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €750 out of total of €1500
    • this task is part of MoU Milestone Bug #199
  • Bug #521: small example using JTAG for testing coriolis2 new multi clock plugin
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €100 out of total of €400
    • this task is part of MoU Milestone Bug #199

MoU Milestone subtotals for paid payments

  • Bug #178: first coriolis2 tutorial, workflow and "test project" page
    • subtotal €950 out of total including subtasks of €3000

MoU Milestone subtotals for paid payments

  • Bug #199: Layout using coriolis2 main core, 180nm
    • subtotal €1500 out of total including subtasks of €9000

MoU Milestone subtotals for paid payments

  • Bug #200: IEEE754 FPU Coriolis2 layout
    • subtotal €6250 out of total including subtasks of €7000

MoU Milestone subtotals for paid payments

  • Bug #201: create specifications for modifications needed for additional nmigen functionality.
    • subtotal €9000 out of total including subtasks of €9000

MoU Milestone subtotals for paid payments

  • Bug #203: potential improvements to coriolis2 for LibreSOC Layout
    • subtotal €7000 out of total including subtasks of €7000

NLNet.2019.10.031.Video

  • Bug #231: Video Opcodes Standards writeup
    • submitted on 2022-08-26
    • paid on 2022-08-31
    • €2000 which is the total amount
    • this task is a MoU Milestone
  • Bug #863: AV opcode implementation, add to Decoder, CSV files
    • submitted on 2022-06-25
    • paid on 2022-08-09
    • €2500 out of total of €3000
    • this task is part of MoU Milestone Bug #234
  • Bug #865: implement vector bitmanip opcodes
    • submitted on 2022-06-25
    • paid on 2022-08-09
    • €2000 out of total of €3500
    • this task is part of MoU Milestone Bug #234

MoU Milestone subtotals for paid payments

  • Bug #231: Video Opcodes Standards writeup
    • subtotal €2000 out of total including subtasks of €2000

MoU Milestone subtotals for paid payments

  • Bug #234: Hardware implementation of video opcodes
    • subtotal €4500 out of total including subtasks of €9000

NLNet.2019.10.042.Vulkan

  • Bug #251: Initial 3D MESA non-accelerated software-only driver is needed
    • submitted on 2022-06-16
    • paid on 2022-07-21
    • €11500 which is the total amount
    • this task is a MoU Milestone
  • Bug #886: transcendentals opcode spec writeup needed
    • submitted on 2022-07-21
    • paid on 2022-08-09
    • €2300 out of total of €3300
    • this task is part of MoU Milestone Bug #255

MoU Milestone subtotals for paid payments

  • Bug #251: Initial 3D MESA non-accelerated software-only driver is needed
    • subtotal €11500 out of total including subtasks of €12000

MoU Milestone subtotals for paid payments

  • Bug #255: formal standard documentation of 3D Opcodes
    • subtotal €2300 out of total including subtasks of €6000

NGI.POINTER.Gigabit.ASIC

  • Bug #813: FPGA Simulation
    • submitted on 2022-06-20
    • paid on 2022-07-09
    • €12000 which is the total amount
    • this task is part of MoU Milestone Bug #814
  • Bug #818: Simulation of ls2 peripheral fabric with core
    • submitted on 2022-06-20
    • paid on 2022-07-09
    • €8000 out of total of €12000
    • this task is part of MoU Milestone Bug #814
  • Bug #821: Servers for running coriolis2 VLSI layout
    • submitted on 2022-06-20
    • paid on 2022-07-09
    • €4000 out of total of €8000
    • this task is part of MoU Milestone Bug #814

MoU Milestone subtotals for paid payments

  • Bug #814: NGI POINTER Milestone 2
    • subtotal €24000 out of total including subtasks of €40000