Michael Nolan (michael_nolan)

Status Tracking

Completed but not yet added to payees list

  • Bug #305: Create Pipelined ALU similar to alu_hier.py
    • this task is part of MoU Milestone Bug #383
  • Bug #313: Create Branch Pipeline for POWER9
    • this task is part of MoU Milestone Bug #383
  • Bug #314: Create POWER9 Condition Register pipeline
    • this task is part of MoU Milestone Bug #383
  • Bug #330: create POWER9 Logic Pipeline
    • this task is part of MoU Milestone Bug #383
  • Bug #332: Formal correctness proof needed for CR pipeline
    • this task is part of MoU Milestone Bug #195
  • Bug #339: create POWER9 ROTATE (SHIFTROT) pipeline
    • this task is part of MoU Milestone Bug #383

Paid by NLNet

NLnet.2019.02.012

  • Bug #120: implement RISC-V FSGNJ instruction
    • submitted on 2020-01-27
    • paid on 2020-01-27
    • €100 which is the total amount
    • this task is part of MoU Milestone Bug #48
  • Bug #129: FP comparisons needed
    • submitted on 2020-02-09
    • paid on 2020-02-09
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #48
  • Bug #130: FMIN/MAX needed
    • submitted on 2020-02-09
    • paid on 2020-02-09
    • €200 which is the total amount
    • this task is part of MoU Milestone Bug #48
  • Bug #171: partitioned comparison operators
    • paid on 2020-04-27
    • €200 out of total of €400
    • this task is part of MoU Milestone Bug #48
  • Bug #172: partitioned signal add/sub/neg
    • paid on 2020-04-27
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #48
  • Bug #173: dynamic partitioned "shift"
    • paid on 2020-04-27
    • €350 out of total of €700
    • this task is part of MoU Milestone Bug #48
  • Bug #189: Create partitioned right shift using the existing partitioned left shift
    • paid on 2020-04-27
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #48

MoU Milestone subtotals for paid payments

  • Bug #48: Complete IEEE754 floating point pipeline
    • subtotal €1300 out of total including subtasks of €15525

NLNet.2019.10.032.Formal

  • Bug #162: Formally Verify the FSGNJ module
    • paid on 2020-05-01
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #196
  • Bug #163: Formally Verify the FPMAX module
    • paid on 2020-05-01
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #196
  • Bug #165: Formally verify the FPCMP (FEQ, FLE, FLT) module
    • paid on 2020-05-01
    • €150 which is the total amount
    • this task is part of MoU Milestone Bug #196

MoU Milestone subtotals for paid payments

  • Bug #196: Formal correctness proof needed for the IEEE754 FPU
    • subtotal €450 out of total including subtasks of €12000

NLNet.2019.10.046.Standards

  • Bug #269: auto-conversion / parser of POWER ISA Spec v3.0B
    • paid on 2020-04-27
    • €500 out of total of €1000
    • this task is part of MoU Milestone Bug #241
  • Bug #272: functions needed in POWER simulator which match 3.0B spec
    • paid on 2020-10-19
    • €200 out of total of €250
    • this task is part of MoU Milestone Bug #241

MoU Milestone subtotals for paid payments

  • Bug #241: OpenPOWER Simulation is needed of standards
    • subtotal €700 out of total including subtasks of €12000