RED Semiconductor Ltd (red)

Status Tracking

Payment not yet submitted

NLnet.2022-08-051.OPF

  • Bug #1029: presentation and explanation of ls003
    • €750 out of total of €2500
    • this task is part of MoU Milestone Bug #1019
  • Bug #1046: questions and re-submission of ls001 (SVP64 concept) PO9 Allocation proposal (as ls001.po9)
    • €1000 out of total of €3000
    • this task is part of MoU Milestone Bug #1012
  • Bug #1048: OPF ISA External RFC ls011 - Fixed and Floating point LD/ST-with-update EXT2xx instructions
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1049: implement Fixed and Floating point LD/ST-with-update postincrement EXT2xx instructions in ISACaller
    • €1000 out of total of €3000
    • this task is part of MoU Milestone Bug #1011
  • Bug #1054: questions and feedback (v2) on OPF RFC ls012
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1055: update ls004 OPF RFC to include LD-ST-Shifted instructions
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1056: questions and feedback (v2) on OPF RFC ls010 (Simple-V Zero-Overhead Loop Prefix Subsystem)
    • €1000 out of total of €3500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1057: split out all int/fp min/max ops into their own RFC ls013
    • €500 out of total of €2500
    • this task is part of MoU Milestone Bug #1009
  • Bug #1060: OPF RFC ls009 questions and feedback
    • €1500 out of total of €3500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1062: OPF RFC ls005.xlen iterative feedback and questions
    • €1000 out of total of €2500
    • this task is part of MoU Milestone Bug #1012
  • Bug #1074: create twin-butterfly research page into DCT/FFT instructions
    • €400 out of total of €2500
    • this task is part of MoU Milestone Bug #1011
  • Bug #1076: External OPF ISA WG RFC ls016 - DCT/FFT twin-butterfly instructions
    • €750 out of total of €2000
    • this task is part of MoU Milestone Bug #1009
  • Bug #1092: OPF RFC ISA WG questions feedback on ls002 float-load-immediate
    • €1000 out of total of €2000
    • this task is part of MoU Milestone Bug #1012

MoU Milestone subtotals for not yet submitted payments

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

MoU Milestone subtotals for not yet submitted payments

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

MoU Milestone subtotals for not yet submitted payments

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

MoU Milestone subtotals for not yet submitted payments

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

NLnet.2022-08-107.ongoing

  • Bug #1094: insndb instruction database visitor-walker is needed
    • €500 out of total of €4000
    • this task is part of MoU Milestone Bug #1003

MoU Milestone subtotals for not yet submitted payments

  • Bug #1003: instruction database continuation and binutils, SVP64
    • subtotal €500 out of total including subtasks of €10500

Submitted to NLNet but not yet paid

NLnet.2022-08-051.OPF

  • Bug #1022: OPF interview for how External RFC ISA submission works
    • submitted on 2023-06-24
    • €2000 which is the total amount
    • this task is part of MoU Milestone Bug #1019
  • Bug #1040: write up SVP64 RFC for "managment" instructions: ls008
    • submitted on 2023-06-24
    • €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
    • €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
    • €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
    • €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
    • €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
    • €500 out of total of €2500
    • this task is part of MoU Milestone Bug #1009

MoU Milestone subtotals for submitted but not yet paid payments

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

MoU Milestone subtotals for submitted but not yet paid payments

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

MoU Milestone subtotals for submitted but not yet paid payments

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

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 #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 #987: cavatools-related administrative activities
    • subtotal €500 out of total including subtasks of €3000