RED Semiconductor Ltd (red)

Status Tracking

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

NLnet.2021.02A.052.CryptoRouter

  • Bug #998: FPGA boards needed for demo and developers
    • submitted on 2023-06-02
    • paid on 2023-06-21
    • €1300 which is the total amount
    • this task is part of MoU Milestone Bug #774
  • Bug #1006: document chacha20 SVP64 assembler
    • submitted on 2023-06-01
    • paid on 2023-06-21
    • €700 out of total of €2500
    • this task is part of MoU Milestone Bug #776

MoU Milestone subtotals for paid payments

  • Bug #774: Equipment needed, such as FPGA boards and Ethernet PMODs
    • subtotal €1300 out of total including subtasks of €4000

MoU Milestone subtotals for paid payments

  • Bug #776: Documentation of designs, code, processes, and other relevant things as needed
    • subtotal €700 out of total including subtasks of €8000

NGI.POINTER.Gigabit.ASIC

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

MoU Milestone subtotals for paid payments

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

MoU Milestone subtotals for paid payments

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

MoU Milestone subtotals for paid payments

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

NLnet.2021-08-071.cavatools

  • Bug #983: Support PowerPC SFFS compliance
    • submitted on 2023-12-21
    • paid on 2024-01-25
    • €1100 out of total of €6000
    • this task is a MoU Milestone
  • Bug #987: cavatools-related administrative activities
    • submitted on 2023-12-21
    • paid on 2024-01-25
    • €1000 out of total of €2000
    • this task is a MoU Milestone
  • Bug #997: sorting out task schedule and MoU
    • submitted on 2023-06-01
    • paid on 2023-06-21
    • €500 out of total of €1000
    • this task is part of MoU Milestone Bug #987

MoU Milestone subtotals for paid payments

  • Bug #983: Support PowerPC SFFS compliance
    • subtotal €1100 out of total including subtasks of €6000

MoU Milestone subtotals for paid payments

  • Bug #987: cavatools-related administrative activities
    • subtotal €1500 out of total including subtasks of €3000

NLnet.2022-08-051.OPF

  • Bug #672: create SVP64 demo / unit test "positional popcount"
    • submitted on 2024-01-05
    • paid on 2024-01-12
    • €1000 out of total of €2000
    • this task is part of MoU Milestone Bug #953
  • Bug #701: document Matrix REMAP in SVP64
    • submitted on 2024-01-05
    • paid on 2024-01-12
    • €1000 out of total of €2000
    • this task is part of MoU Milestone Bug #953
  • Bug #1022: OPF interview for how External RFC ISA submission works
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €2000 which is the total amount
    • this task is part of MoU Milestone Bug #1019
  • Bug #1029: presentation and explanation of ls003
    • submitted on 2023-10-18
    • paid on 2022-11-29
    • €1500 out of total of €2500
    • this task is part of MoU Milestone Bug #1019
  • Bug #1040: write up SVP64 RFC for "managment" instructions: ls008
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1042: OPF ISA External RFC ls009 - SVP64 svremap, svindex, svshape, svshape2
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €900 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1043: ls009 research: DCT REMAP may have redundant modes
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €1000 out of total of €2000
    • this task is part of MoU Milestone Bug #1011
  • Bug #1045: OPF ISA External RFC ls010 - SVP64 Zero-Overhead Loop Prefix System
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €1000 out of total of €3500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1051: OPF RFC ls012 research: create table of instructions and their priorities
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €1000 out of total of €3500
    • this task is part of MoU Milestone Bug #1011
  • Bug #1052: OPF RFC ls012 writeup: list of RFCs to be proposed to OPF ISA WG
    • submitted on 2023-06-24
    • paid on 2023-06-28
    • €500 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1054: questions and feedback (v2) on OPF RFC ls012
    • submitted on 2023-10-17
    • paid on 2023-11-10
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1062: OPF RFC ls005.xlen iterative feedback and questions
    • submitted on 2024-01-05
    • paid on 2024-01-12
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1090: feedback on OPF SVP64 RFC for "bigint" instructions: ls003.bignum
    • submitted on 2023-10-19
    • paid on 2022-11-29
    • €1500 out of total of €2500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1117: daxpy cookbook example
    • submitted on 2024-01-05
    • paid on 2024-01-12
    • €1000 out of total of €2000
    • this task is part of MoU Milestone Bug #953

MoU Milestone subtotals for paid payments

  • Bug #953: SVP64 assembly cookbook
    • subtotal €3000 out of total including subtasks of €10000

MoU Milestone subtotals for paid payments

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

MoU Milestone subtotals for paid payments

  • Bug #1009: Write and submit 1st Draft External RFCs
    • subtotal €3400 out of total including subtasks of €34000

MoU Milestone subtotals for paid payments

  • Bug #1011: OPF ISA WG Draft RFC Research
    • subtotal €2000 out of total including subtasks of €19000

MoU Milestone subtotals for paid payments

  • Bug #1012: Iterative OPF ISA WG questions, feedback, and re-submission
    • subtotal €3500 out of total including subtasks of €22000