RED Semiconductor Ltd (red)
Status Tracking
Payment not yet submitted
NLnet.2022-08-051.OPF
- Bug #1022:
OPF interview for how External RFC ISA submission works
- €2000 which is the total amount
- this task is part of MoU Milestone Bug #1019
MoU Milestone subtotals for not yet submitted payments
- Bug #1019:
OPF ISA WG Draft RFC Presentations, Conferences and general outreach
- subtotal €2000 out of total including subtasks of €10000
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 #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