Jacob R. Lifshay (programmerjake)
Status Tracking
Currently working on
- Bug #161:
Create Shader Compiler IR and SPIR-V to IR translator
- this task is part of MoU Milestone Bug #54
- Bug #396: create simulator PowerISA div/mod functions
- Bug #579: c/c++ macros for inline assembly supporting svp64
- Bug #632:
Create Vector Math library shared with Rust's project portable SIMD (`std::simd`)
- this task is part of MoU Milestone Bug #54
- Bug #725: Research Naga to see if it will help un-stall #161
- Bug #741:
bitmanip ALU implementation
- this task is part of MoU Milestone Bug #772
- Bug #868: Formal verification of fadd/fsub
- Bug #933: prefix-code (like huffman code) decode/encode instructions
- Bug #942: next things to work on -- bigint rsa mul algorithm for bigint presentation
- Bug #1038:
remove ValueCastable support from smtlib2.py
- this task is part of MoU Milestone Bug #775
- Bug #1061:
change extsb/h/w definitions to scale input size with XLEN rather than convert from fixed sizes
- this task is part of MoU Milestone Bug #1027
- Bug #1071:
add parallel prefix sum remap mode
- this task is part of MoU Milestone Bug #1027
- Bug #1087: add pseudocode to properly setup for fp traps according to PowerISA spec convention
- Bug #1118: Review of fp/int moves/conversions ls006.fpintmv RFC
- Bug #1125: split entire instruction into separate files so they can be [[!inline]]-ed into the wiki
- Bug #1162: evaluate the cost and time of whether a git sync mirror should have time spent on it.
- Bug #1194: install pytest subtest plugin in CI and dev scripts
- Bug #1195: removing some f-strings and misleading log messages
- Bug #1221: weird ISAcaller bug, _RA not present
- Bug #1223: fosdem 2024 bigint presentation (prerecorded)
Completed but not yet added to payees list
- Bug #451:
Add PowerPC64 to Rust's new inline assembly implementation
- this task is part of MoU Milestone Bug #54
- Bug #650:
write rfc for OpenPower fpr <-> gpr moves/conversions
- this task is part of MoU Milestone Bug #230
- Bug #782:
add galois field bitmanip instructions
- this task is part of MoU Milestone Bug #772
Payment not yet submitted
NLnet.2021.02A.052.CryptoRouter
- Bug #906:
change HDL code to not use type annotations even for dataclasses
- €0 which is the total amount
- this task is part of MoU Milestone Bug #771
- Bug #1038:
remove ValueCastable support from smtlib2.py
- €0 which is the total amount
- this task is part of MoU Milestone Bug #775
MoU Milestone subtotals for not yet submitted payments
- Bug #771:
Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code
- subtotal €0 out of total including subtasks of €6000
MoU Milestone subtotals for not yet submitted payments
- Bug #775:
Project Management
- subtotal €0 out of total including subtasks of €4000
NLnet.2022-08-051.OPF
- Bug #676:
FORTRAN MAXLOC SVP64 example
- €500 out of total of €2000
- this task is part of MoU Milestone Bug #953
- Bug #1048:
OPF ISA External RFC ls011 - Fixed and Floating point LD/ST-with-update EXT2xx instructions
- €500 out of total of €2500
- this task is part of MoU Milestone Bug #1009
- Bug #1053:
Separate Vector CRs containing CR8-CR127 from Scalar CR containing CR0-CR7
- €300 out of total of €1500
- this task is part of MoU Milestone Bug #1011
- Bug #1070:
Simple-V / Libre-SOC FOSDEM Conference Feb 03-04 2024
- €750 out of total of €4500
- this task is part of MoU Milestone Bug #1019
MoU Milestone subtotals for not yet submitted payments
- Bug #953:
SVP64 assembly cookbook
- subtotal €500 out of total including subtasks of €10000
MoU Milestone subtotals for not yet submitted payments
- Bug #1009:
Write and submit 1st Draft External RFCs
- subtotal €500 out of total including subtasks of €34000
MoU Milestone subtotals for not yet submitted payments
- Bug #1011:
OPF ISA WG Draft RFC Research
- subtotal €300 out of total including subtasks of €19000
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
NLnet.2022-08-107.ongoing
- Bug #852:
implement grevlut*
- €1200 out of total of €2000
- this task is part of MoU Milestone Bug #1027
- Bug #1026:
implement Draft Instructions in nmigen HDL
- €3000 out of total of €5000
- this task is a MoU Milestone
- Bug #1031:
implement CRweird instructions in ISACaller
- €800 out of total of €3000
- this task is part of MoU Milestone Bug #1027
- Bug #1033:
Implementation and enhancement of "Test API"
- €2000 out of total of €2500
- this task is a MoU Milestone
- Bug #1034:
implement crternlogi crbinlog and binlog in ISACaller
- €500 out of total of €3000
- this task is part of MoU Milestone Bug #1027
- Bug #1035:
Implement Scalar Power ISA v3.1 (32-bit-only) instructions (no PO1) in ISACaller
- €1500 out of total of €4000
- this task is a MoU Milestone
- Bug #1061:
change extsb/h/w definitions to scale input size with XLEN rather than convert from fixed sizes
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #1027
- Bug #1071:
add parallel prefix sum remap mode
- €2000 which is the total amount
- this task is part of MoU Milestone Bug #1027
- Bug #1116:
evaluate, spec, and implement Vector-Immediates in SVP64 Normal
- €1000 out of total of €2000
- this task is part of MoU Milestone Bug #1027
- Bug #1150:
implement PO9 changeover and associated tasks
- €2000 out of total of €10000
- this task is a MoU Milestone
- Bug #1183:
add /mrr mode (reverse mode) to Data-Dependent Fail-First CR_ops and "single looping" to DDFFirst in general
- €500 out of total of €6000
- this task is part of MoU Milestone Bug #1027
MoU Milestone subtotals for not yet submitted payments
- Bug #1027:
implement "necessary" additions to SVP64 and Scalar Power ISA
- subtotal €7000 out of total including subtasks of €30000
MoU Milestone subtotals for not yet submitted payments
- Bug #1026:
implement Draft Instructions in nmigen HDL
- subtotal €3000 out of total including subtasks of €8000
MoU Milestone subtotals for not yet submitted payments
- Bug #1033:
Implementation and enhancement of "Test API"
- subtotal €2000 out of total including subtasks of €2500
MoU Milestone subtotals for not yet submitted payments
- Bug #1035:
Implement Scalar Power ISA v3.1 (32-bit-only) instructions (no PO1) in ISACaller
- subtotal €1500 out of total including subtasks of €7000
MoU Milestone subtotals for not yet submitted payments
- Bug #1150:
implement PO9 changeover and associated tasks
- subtotal €2000 out of total including subtasks of €10000
Future
- Bug #913:
change PLRU in plru2.py to allow putting state in sram
- €0 which is the total amount
- this task is a MoU Milestone
- Bug #922:
UTF-8/16 on SVP64
- €0 which is the total amount
- this task is a MoU Milestone
- Bug #929:
maddld and friends incorrectly ignored by sv_analysis.py
- €0 which is the total amount
- this task is a MoU Milestone
MoU Milestone subtotals for not yet submitted payments
- Bug #913:
change PLRU in plru2.py to allow putting state in sram
- subtotal €0 out of total including subtasks of €0
MoU Milestone subtotals for not yet submitted payments
- Bug #922:
UTF-8/16 on SVP64
- subtotal €0 out of total including subtasks of €0
MoU Milestone subtotals for not yet submitted payments
- Bug #929:
maddld and friends incorrectly ignored by sv_analysis.py
- subtotal €0 out of total including subtasks of €0
Submitted to NLNet but not yet paid
NLnet.2021.02A.052.CryptoRouter
- Bug #772:
Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
- submitted on 2024-05-21
- €1800 out of total of €3000
- this task is a MoU Milestone
- Bug #840:
Formal proofs and unit tests for cryptoprimitives
- submitted on 2024-05-21
- €4000 out of total of €7750
- this task is a MoU Milestone
MoU Milestone subtotals for submitted but not yet paid payments
- Bug #772:
Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
- subtotal €1800 out of total including subtasks of €9000
MoU Milestone subtotals for submitted but not yet paid payments
- Bug #840:
Formal proofs and unit tests for cryptoprimitives
- subtotal €4000 out of total including subtasks of €9500
Paid by NLNet
NLnet.2019.02.012
- Bug #43:
create an IEEE754 FP "sqrt"
- paid on 2019-08-16
- €720 out of total of €1200
- this task is part of MoU Milestone Bug #48
- Bug #44:
IEEE754 FPU inverse (reciprocal) sqrt
- paid on 2019-08-16
- €900 out of total of €1500
- this task is part of MoU Milestone Bug #48
- Bug #60:
N-stage 64-bit multiplier pipeline needed (signed/unsigned)
- paid on 2019-06-04
- €2500 which is the total amount
- this task is part of MoU Milestone Bug #48
- Bug #63:
queue (FIFO) library routine needed
- paid on 2019-11-19
- €400 out of total of €800
- this task is part of MoU Milestone Bug #62
- Bug #71:
option to replace SetAssocCache PLRU with random selection (LFSR)
- paid on 2019-06-04
- €250 out of total of €500
- this task is a MoU Milestone
- Bug #83:
Implementing the SPIR-V structure parser
- paid on 2019-06-04
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #54
- Bug #99:
IEEE754 *pipelined* FPDIV unit needed
- paid on 2019-08-16
- €600 out of total of €1000
- this task is part of MoU Milestone Bug #48
- Bug #127:
Transcendentals needed (SIN/COS/ATAN2/EXP/LOG/POW etc.)
- paid on 2020-09-22
- €350 out of total of €1250
- this task is part of MoU Milestone Bug #53
- Bug #145:
reference FP emulation using algebraic numbers
- paid on 2019-12-20
- €750 which is the total amount
- this task is part of MoU Milestone Bug #48
- Bug #146:
create python bindings to reference FP implementation
- paid on 2019-12-20
- €300 which is the total amount
- this task is part of MoU Milestone Bug #48
- Bug #148:
single chain pipeline API needed
- paid on 2019-11-19
- €750 out of total of €1500
- this task is part of MoU Milestone Bug #62
- Bug #177:
implement enough of #161 to translate basic shader to shader-compiler-ir
- paid on 2020-02-28
- €2000 which is the total amount
- this task is part of MoU Milestone Bug #54
- Bug #469:
Create D-cache from microwatt dcache.vhdl
- submitted on 2022-05-09
- paid on 2022-05-13
- €1200 out of total of €1500
- this task is part of MoU Milestone Bug #51
- Bug #538:
development of Stage API and pipeline API
- paid on 2020-12-09
- €500 out of total of €1200
- this task is part of MoU Milestone Bug #62
- Bug #652:
First part of implementing the vector-math library for Kazan and rustc
- paid on 2021-06-23
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #54
MoU Milestone subtotals for paid payments
- Bug #48:
Complete IEEE754 floating point pipeline
- subtotal €5770 out of total including subtasks of €15525
MoU Milestone subtotals for paid payments
- Bug #62:
nmigen-based general-purpose util / data handling / io-control library needed
- subtotal €1650 out of total including subtasks of €4550
MoU Milestone subtotals for paid payments
- Bug #71:
option to replace SetAssocCache PLRU with random selection (LFSR)
- subtotal €250 out of total including subtasks of €500
MoU Milestone subtotals for paid payments
- Bug #54:
Kazan Vulkan driver operational
- subtotal €4000 out of total including subtasks of €4400
MoU Milestone subtotals for paid payments
- Bug #53:
design and software simulation of some of the 3D custom instructions needed for the GPU
- subtotal €350 out of total including subtasks of €2000
MoU Milestone subtotals for paid payments
- Bug #51:
Virtual Memory Management system
- subtotal €1200 out of total including subtasks of €4450
NLNet.2019.10.032.Formal
- Bug #198:
Formal correctness proofs are needed for low-level libraries in LibreSOC
- submitted on 2022-08-29
- paid on 2022-09-03
- €3850 out of total of €8850
- this task is a MoU Milestone
- Bug #340:
formal proof of POWER9 SHIFTROT pipeline needed
- paid on 2022-03-03
- €2000 out of total of €2400
- this task is part of MoU Milestone Bug #195
- Bug #565:
Improve formal verification on PartitionedSignal
- submitted on 2022-07-06
- paid on 2022-07-21
- €500 out of total of €3000
- this task is part of MoU Milestone Bug #196
- Bug #835:
add support for smtlib2 floating-point to yosys and nmigen
- submitted on 2022-07-06
- paid on 2022-07-21
- €1800 out of total of €2600
- this task is part of MoU Milestone Bug #196
- Bug #869:
Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps
- submitted on 2022-07-06
- paid on 2022-07-21
- €1500 which is the total amount
- this task is part of MoU Milestone Bug #196
- Bug #874:
Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps
- submitted on 2022-07-06
- paid on 2022-07-21
- €1500 which is the total amount
- this task is part of MoU Milestone Bug #196
- Bug #876:
Implement and Add Formal Proof for fsub in the fpadd pipeline
- submitted on 2022-07-06
- paid on 2022-07-21
- €500 which is the total amount
- this task is part of MoU Milestone Bug #196
- Bug #877:
implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags
- submitted on 2022-07-06
- paid on 2022-07-21
- €1650 which is the total amount
- this task is part of MoU Milestone Bug #196
MoU Milestone subtotals for paid payments
- Bug #198:
Formal correctness proofs are needed for low-level libraries in LibreSOC
- subtotal €3850 out of total including subtasks of €9000
MoU Milestone subtotals for paid payments
- Bug #195:
Formal correctness framework is needed for Power ISA
- subtotal €2000 out of total including subtasks of €12000
MoU Milestone subtotals for paid payments
- Bug #196:
Formal correctness proof needed for the IEEE754 FPU
- subtotal €7450 out of total including subtasks of €12000
NLNet.2019.10.046.Standards
- Bug #236:
Atomics Standard writeup needed
- submitted on 2022-08-29
- paid on 2022-09-03
- €1800 out of total of €2500
- this task is a MoU Milestone
- Bug #237:
Variable encoding Standards writeup needed, 16/32/48/64
- submitted on 2022-06-19
- paid on 2022-07-21
- €1250 out of total of €2500
- this task is a MoU Milestone
- Bug #238:
POWER Compressed Formal Standard writeup
- submitted on 2022-07-06
- paid on 2022-07-21
- €1000 out of total of €5000
- this task is a MoU Milestone
- Bug #240:
POWER-RISCV ISA switch formal standard writeup needed
- submitted on 2022-07-06
- paid on 2022-07-21
- €1000 out of total of €3000
- this task is a MoU Milestone
- Bug #533:
design new CR instructions suitable for predication
- submitted on 2022-06-19
- paid on 2022-07-21
- €200 out of total of €1000
- this task is part of MoU Milestone Bug #213
- Bug #664:
design SVP64 branch instructions (sv.bc)
- submitted on 2022-06-19
- paid on 2022-07-21
- €500 out of total of €1500
- this task is part of MoU Milestone Bug #213
- Bug #665:
very basic nmigen-to-c compiler needed
- submitted on 2022-07-06
- paid on 2022-07-21
- €500 out of total of €2200
- this task is part of MoU Milestone Bug #241
- Bug #685:
Implement XLEN-ification for BCD instructions in base OpenPower ISA
- paid on 2021-10-20
- €350 which is the total amount
- this task is part of MoU Milestone Bug #242
- Bug #699:
Draft Release v0.1 of SVP64
- paid on 2021-10-20
- €1200 out of total of €5500
- this task is part of MoU Milestone Bug #213
MoU Milestone subtotals for paid payments
- Bug #236:
Atomics Standard writeup needed
- subtotal €1800 out of total including subtasks of €2500
MoU Milestone subtotals for paid payments
- Bug #237:
Variable encoding Standards writeup needed, 16/32/48/64
- subtotal €1250 out of total including subtasks of €2500
MoU Milestone subtotals for paid payments
- Bug #238:
POWER Compressed Formal Standard writeup
- subtotal €1000 out of total including subtasks of €5000
MoU Milestone subtotals for paid payments
- Bug #240:
POWER-RISCV ISA switch formal standard writeup needed
- subtotal €1000 out of total including subtasks of €3000
MoU Milestone subtotals for paid payments
- Bug #213:
SimpleV Standard writeup needed
- subtotal €1900 out of total including subtasks of €8000
MoU Milestone subtotals for paid payments
- Bug #241:
OpenPOWER Simulation is needed of standards
- subtotal €500 out of total including subtasks of €12000
MoU Milestone subtotals for paid payments
- Bug #242:
OpenPOWER simulation unit tests are needed
- subtotal €350 out of total including subtasks of €6000
NLNet.2019.10.043.Wishbone
- Bug #186:
Create decoder for SOC: Power ISA
- paid on 2020-12-09
- €100 out of total of €500
- this task is part of MoU Milestone Bug #383
- Bug #323:
create POWER9 MUL pipeline
- paid on 2020-08-21
- €500 out of total of €750
- this task is part of MoU Milestone Bug #383
- Bug #324:
create POWER DIV pipeline
- paid on 2020-09-22
- €1000 out of total of €1500
- this task is part of MoU Milestone Bug #383
- Bug #348:
POWER9 SPR pipeline needed
- paid on 2020-12-09
- €50 out of total of €300
- this task is part of MoU Milestone Bug #383
- Bug #441:
Avoid unit tests that depend on other unit tests being run first
- paid on 2020-12-09
- €200 out of total of €400
- this task is part of MoU Milestone Bug #383
- Bug #458:
PartitionedSignal needs nmigen constructs "m.If", Switch etc
- submitted on 2022-07-06
- paid on 2022-07-21
- €250 out of total of €1250
- this task is part of MoU Milestone Bug #362
- Bug #471:
bug in modsd DIV FSM
- paid on 2020-12-09
- €100 which is the total amount
- this task is part of MoU Milestone Bug #383
- Bug #477:
add add instructions to power-instruction-analyzer
- paid on 2020-12-09
- €250 which is the total amount
- this task is part of MoU Milestone Bug #383
MoU Milestone subtotals for paid payments
- Bug #383:
Complete first functional POWER9 Core
- subtotal €2200 out of total including subtasks of €10000
MoU Milestone subtotals for paid payments
- Bug #362:
improvements to nmigen and yosys
- subtotal €250 out of total including subtasks of €7000
NLNet.2019.10.031.Video
- Bug #222:
JPEG optimizations
- submitted on 2022-10-03
- paid on 2022-10-14
- €1200 out of total of €1500
- this task is a MoU Milestone
- Bug #223:
MPEG1/2 optimizations
- submitted on 2022-10-03
- paid on 2022-10-14
- €750 out of total of €1500
- this task is a MoU Milestone
- Bug #557:
First round of development of Audio/Video opcodes
- paid on 2021-09-03
- €400 out of total of €2000
- this task is part of MoU Milestone Bug #230
- Bug #863:
AV opcode implementation, add to Decoder, CSV files
- submitted on 2022-07-06
- paid on 2022-07-21
- €500 out of total of €3000
- this task is part of MoU Milestone Bug #234
- Bug #864:
implement parallel prefix reduction in simulator
- submitted on 2022-09-15
- paid on 2022-09-19
- €300 out of total of €3000
- this task is part of MoU Milestone Bug #233
- Bug #865:
implement vector bitmanip opcodes
- submitted on 2022-07-06
- paid on 2022-07-21
- €500 out of total of €3500
- this task is part of MoU Milestone Bug #234
- Bug #881:
Initial work on RFC for OpenPower fpr <-> gpr moves/conversions
- submitted on 2022-07-06
- paid on 2022-07-21
- €1200 out of total of €2000
- this task is part of MoU Milestone Bug #230
MoU Milestone subtotals for paid payments
- Bug #222:
JPEG optimizations
- subtotal €1200 out of total including subtasks of €1500
MoU Milestone subtotals for paid payments
- Bug #223:
MPEG1/2 optimizations
- subtotal €750 out of total including subtasks of €1500
MoU Milestone subtotals for paid payments
- Bug #230:
Video opcode development and discussion
- subtotal €1600 out of total including subtasks of €4000
MoU Milestone subtotals for paid payments
- Bug #234:
Hardware implementation of video opcodes
- subtotal €1000 out of total including subtasks of €9000
MoU Milestone subtotals for paid payments
- Bug #233:
Audio and Video unit tests needed to be run in simulator
- subtotal €300 out of total including subtasks of €3000
NLNet.2019.10.042.Vulkan
- Bug #139:
Swizzle needs to be high priority capability in ISA
- submitted on 2022-06-19
- paid on 2022-07-21
- €600 out of total of €1500
- this task is part of MoU Milestone Bug #255
- Bug #466:
comprehensive evaluation and planning for 3D MESA driver
- submitted on 2022-06-19
- paid on 2022-07-21
- €200 out of total of €500
- this task is part of MoU Milestone Bug #251
- Bug #794:
UTF8 validation
- submitted on 2022-09-16
- paid on 2022-09-24
- €2000 out of total of €2500
- this task is part of MoU Milestone Bug #254
- Bug #851:
vector pack/unpack needed (as REMAP and as RM Modes)
- submitted on 2022-06-19
- paid on 2022-07-21
- €400 out of total of €1200
- this task is part of MoU Milestone Bug #255
- Bug #886:
transcendentals opcode spec writeup needed
- submitted on 2022-08-29
- paid on 2022-09-03
- €1000 out of total of €3300
- this task is part of MoU Milestone Bug #255
- Bug #896:
DOUBLE2SINGLE doesn't handle generating the return value for inf/nan inputs
- submitted on 2022-08-29
- paid on 2022-09-03
- €500 which is the total amount
- this task is part of MoU Milestone Bug #252
- Bug #899:
implement additional Transcendentals in simulator
- submitted on 2022-09-15
- paid on 2022-09-19
- €2000 out of total of €4000
- this task is part of MoU Milestone Bug #252
- Bug #911:
svshape2 instruction (with offsets)
- submitted on 2022-09-16
- paid on 2022-09-24
- €500 out of total of €3000
- this task is part of MoU Milestone Bug #254
MoU Milestone subtotals for paid payments
- Bug #255:
formal standard documentation of 3D Opcodes
- subtotal €2000 out of total including subtasks of €6000
MoU Milestone subtotals for paid payments
- Bug #251:
Initial 3D MESA non-accelerated software-only driver is needed
- subtotal €200 out of total including subtasks of €12000
MoU Milestone subtotals for paid payments
- Bug #254:
Second iteration round for opcodes, simulation and hardware for 3D MESA
- subtotal €2500 out of total including subtasks of €12500
MoU Milestone subtotals for paid payments
- Bug #252:
3D accelerated opcodes need to be added to the POWER ISA simulator
- subtotal €2500 out of total including subtasks of €7000
NLnet.2021.02A.052.CryptoRouter
- Bug #190:
Setup Gitlab CI Runner for Kazan on a computer
- submitted on 2023-06-05
- paid on 2023-06-21
- €1400 which is the total amount
- this task is part of MoU Milestone Bug #775
- Bug #745:
OP_TERNLOG instruction
- submitted on 2023-10-15
- paid on 2023-11-10
- €800 out of total of €1000
- this task is part of MoU Milestone Bug #772
- Bug #755:
add grev instruction (OP_GREV)
- submitted on 2023-10-15
- paid on 2023-11-10
- €1000 out of total of €1500
- this task is part of MoU Milestone Bug #772
- Bug #770:
Discussion and Finalisation of Which Cryptographic Primitives to Implement
- submitted on 2023-06-05
- paid on 2023-06-21
- €700 out of total of €2000
- this task is a MoU Milestone
- Bug #784:
Implement cl* instructions for carry-less operations
- submitted on 2023-10-15
- paid on 2023-11-10
- €1800 out of total of €3000
- this task is part of MoU Milestone Bug #772
- Bug #817:
Big Integer Math (sv.adde, sv.subfe, sv.madded, 128 by 64-bit -> 64-bit div/rem, maybe more...)
- submitted on 2023-06-05
- paid on 2023-06-21
- €2300 out of total of €3500
- this task is part of MoU Milestone Bug #771
- Bug #848:
FPGAs and equipment bought using FPGA-fund
- submitted on 2022-06-19
- paid on 2022-07-21
- €1202 out of total of €1300
- this task is part of MoU Milestone Bug #774
- Bug #848:
FPGAs and equipment bought using FPGA-fund
- submitted on 2022-06-19
- paid on 2022-07-21
- €98 out of total of €1300
- this task is part of MoU Milestone Bug #774
- Bug #882:
add support for showing the nearest budgeting parent that is included in the MoU
- submitted on 2023-06-05
- paid on 2023-06-21
- €950 out of total of €1400
- this task is part of MoU Milestone Bug #775
- Bug #891:
fix cvc5 on ppc64le
- submitted on 2023-06-05
- paid on 2023-06-21
- €600 which is the total amount
- this task is part of MoU Milestone Bug #775
- Bug #975:
Payment for Jacob upgrading his PC to a Ryzen 7950X
- submitted on 2023-06-05
- paid on 2023-06-21
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #774
- Bug #1044:
SVP64 implementation of pow(x,y,z)
- submitted on 2024-05-13
- paid on 2024-06-10
- €1000 out of total of €2000
- this task is a MoU Milestone
- Bug #1100:
create pytest plugin that stores each unit test output in a file and just gives a small output to pytest
- submitted on 2023-10-15
- paid on 2023-11-10
- €600 which is the total amount
- this task is part of MoU Milestone Bug #775
- Bug #1138:
UPS for Jacob's CI server
- submitted on 2023-10-15
- paid on 2023-11-10
- €400 which is the total amount
- this task is part of MoU Milestone Bug #774
- Bug #1155:
O(n2) multiplication REMAP mode(s)
- submitted on 2024-05-13
- paid on 2024-06-10
- €700 out of total of €1000
- this task is part of MoU Milestone Bug #773
MoU Milestone subtotals for paid payments
- Bug #775:
Project Management
- subtotal €3550 out of total including subtasks of €4000
MoU Milestone subtotals for paid payments
- Bug #772:
Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
- subtotal €3600 out of total including subtasks of €9000
MoU Milestone subtotals for paid payments
- Bug #770:
Discussion and Finalisation of Which Cryptographic Primitives to Implement
- subtotal €700 out of total including subtasks of €2000
MoU Milestone subtotals for paid payments
- Bug #771:
Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code
- subtotal €2300 out of total including subtasks of €6000
MoU Milestone subtotals for paid payments
- Bug #774:
Equipment needed, such as FPGA boards and Ethernet PMODs
- subtotal €2700 out of total including subtasks of €4000
MoU Milestone subtotals for paid payments
- Bug #1044:
SVP64 implementation of pow(x,y,z)
- subtotal €1000 out of total including subtasks of €2000
MoU Milestone subtotals for paid payments
- Bug #773:
High-Level Demos of Cryptographic and Other Relevant Algorithms
- subtotal €700 out of total including subtasks of €5500
NLnet.2021-08-071.cavatools
- Bug #982:
Support PowerPC ABI in ISACaller
- submitted on 2024-01-05
- paid on 2024-01-12
- €1000 out of total of €4500
- this task is a MoU Milestone
- Bug #983:
Support PowerPC SFFS compliance
- submitted on 2024-01-05
- paid on 2024-01-12
- €3800 out of total of €6000
- this task is a MoU Milestone
MoU Milestone subtotals for paid payments
- Bug #982:
Support PowerPC ABI in ISACaller
- subtotal €1000 out of total including subtasks of €4500
MoU Milestone subtotals for paid payments
- Bug #983:
Support PowerPC SFFS compliance
- subtotal €3800 out of total including subtasks of €6000
NLnet.2022-08-051.OPF
- Bug #996:
add shaddsw or replace shadduw with shaddsw since i32 indexes are waay more common than u32
- submitted on 2023-06-28
- paid on 2023-07-12
- €1500 out of total of €2000
- this task is part of MoU Milestone Bug #1011
- Bug #1010:
1st Draft OPF ISA WG External RFC ls003: "bigint" operations
- submitted on 2023-06-28
- paid on 2023-07-12
- €750 out of total of €2000
- this task is part of MoU Milestone Bug #1009
- Bug #1015:
rfc for rest of int/fp move/convert ls006
- submitted on 2024-02-09
- paid on 2024-02-29
- €2500 out of total of €3500
- this task is part of MoU Milestone Bug #1009
- Bug #1016:
experiment reducing number of different instructions in int/fp move/convert
- submitted on 2023-06-28
- paid on 2023-07-12
- €1000 out of total of €1500
- this task is part of MoU Milestone Bug #1011
- Bug #1017:
ISA WG RFC ls007 for binary and ternary bitops
- submitted on 2023-06-28
- paid on 2023-07-12
- €1000 out of total of €2000
- this task is part of MoU Milestone Bug #1009
- Bug #1023:
crternlut/crbinlut analysis needed of CR regfile usage
- submitted on 2023-06-28
- paid on 2023-07-12
- €300 out of total of €1500
- this task is part of MoU Milestone Bug #1011
- Bug #1029:
presentation and explanation of ls003
- submitted on 2024-02-09
- paid on 2024-02-29
- €1000 out of total of €2500
- this task is part of MoU Milestone Bug #1019
- Bug #1042:
OPF ISA External RFC ls009 - SVP64 svremap, svindex, svshape, svshape2
- submitted on 2023-06-28
- paid on 2023-07-12
- €600 out of total of €2500
- this task is part of MoU Milestone Bug #1009
- Bug #1045:
OPF ISA External RFC ls010 - SVP64 Zero-Overhead Loop Prefix System
- submitted on 2023-06-28
- paid on 2023-07-12
- €700 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-28
- paid on 2023-07-12
- €1200 out of total of €3500
- this task is part of MoU Milestone Bug #1011
- Bug #1055:
update ls004 OPF RFC to include LD-ST-Shifted instructions
- submitted on 2024-02-09
- paid on 2024-02-29
- €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)
- submitted on 2023-10-15
- paid on 2023-11-10
- €1300 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
- submitted on 2024-02-09
- paid on 2024-02-29
- €1200 out of total of €2500
- this task is part of MoU Milestone Bug #1009
- Bug #1060:
OPF RFC ls009 questions and feedback
- submitted on 2023-10-15
- paid on 2023-11-10
- €300 out of total of €3500
- this task is part of MoU Milestone Bug #1012
- Bug #1062:
OPF RFC ls005.xlen iterative feedback and questions
- submitted on 2024-02-09
- paid on 2024-02-29
- €400 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
- submitted on 2024-02-09
- paid on 2024-02-29
- €400 out of total of €2500
- this task is part of MoU Milestone Bug #1011
- Bug #1092:
OPF RFC ISA WG questions feedback on ls002 float-load-immediate
- submitted on 2024-02-09
- paid on 2024-02-29
- €500 out of total of €2000
- this task is part of MoU Milestone Bug #1012
MoU Milestone subtotals for paid payments
- Bug #1011:
OPF ISA WG Draft RFC Research
- subtotal €4400 out of total including subtasks of €19000
MoU Milestone subtotals for paid payments
- Bug #1009:
Write and submit 1st Draft External RFCs
- subtotal €7750 out of total including subtasks of €34000
MoU Milestone subtotals for paid payments
- Bug #1019:
OPF ISA WG Draft RFC Presentations, Conferences and general outreach
- subtotal €1000 out of total including subtasks of €9000
MoU Milestone subtotals for paid payments
- Bug #1012:
Iterative OPF ISA WG questions, feedback, and re-submission
- subtotal €2500 out of total including subtasks of €22000
NLnet.2022-08-107.ongoing
- Bug #972:
addme/subfme carry/overflow is incorrect
- submitted on 2024-02-26
- paid on 2024-03-08
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #1027
- Bug #1028:
implement integer-versions of fft/dct "butterfly" instructions in ISACaller Simulator
- submitted on 2024-02-26
- paid on 2024-03-08
- €800 out of total of €4000
- this task is part of MoU Milestone Bug #1027
- Bug #1064:
Change XLEN-ification
- submitted on 2024-02-26
- paid on 2024-03-08
- €1000 which is the total amount
- this task is part of MoU Milestone Bug #1027
- Bug #1072:
implement fcvt/fmv instructions in ISACaller (ls006)
- submitted on 2024-02-26
- paid on 2024-03-08
- €2500 out of total of €3000
- this task is part of MoU Milestone Bug #1026
- Bug #1094:
insndb instruction database visitor-walker is needed
- submitted on 2024-02-26
- paid on 2024-03-08
- €500 out of total of €4000
- this task is part of MoU Milestone Bug #1003
- Bug #1120:
Add all scalar 32-bit v3.1 insns to ISACaller
- submitted on 2024-02-26
- paid on 2024-03-08
- €1300 out of total of €2000
- this task is part of MoU Milestone Bug #1035
MoU Milestone subtotals for paid payments
- Bug #1027:
implement "necessary" additions to SVP64 and Scalar Power ISA
- subtotal €2800 out of total including subtasks of €30000
MoU Milestone subtotals for paid payments
- Bug #1026:
implement Draft Instructions in nmigen HDL
- subtotal €2500 out of total including subtasks of €8000
MoU Milestone subtotals for paid payments
- Bug #1003:
instruction database continuation and binutils, SVP64
- subtotal €500 out of total including subtasks of €10500
MoU Milestone subtotals for paid payments
- Bug #1035:
Implement Scalar Power ISA v3.1 (32-bit-only) instructions (no PO1) in ISACaller
- subtotal €1300 out of total including subtasks of €7000