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
  • Bug #1044: SVP64 implementation of pow(x,y,z)
    • submitted on 2024-05-13
    • €1000 out of total of €2000
    • this task is a MoU Milestone
  • Bug #1155: O(n2) multiplication REMAP mode(s)
    • submitted on 2024-05-13
    • €700 out of total of €1000
    • this task is part of MoU Milestone Bug #773

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

MoU Milestone subtotals for submitted but not yet paid payments

  • Bug #1044: SVP64 implementation of pow(x,y,z)
    • subtotal €1000 out of total including subtasks of €2000

MoU Milestone subtotals for submitted but not yet paid payments

  • Bug #773: High-Level Demos of Cryptographic and Other Relevant Algorithms
    • subtotal €700 out of total including subtasks of €5500

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 #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

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

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