Samuel A. Falvo II

Status Tracking

Currently working on

  • Bug #306: Formal Correctness Proof for ALU pipeline
  • Bug #418: SPR pipeline formal correctness proof needed
  • Bug #421: TRAP pipeline formal correctness proof needed

Completed but not yet paid

NLNet.2019.10.Formal

  • Bug #306: Formal Correctness Proof for ALU pipeline
    • €100 out of total of €500
  • Bug #418: SPR pipeline formal correctness proof needed
    • €350 out of total of €400
  • Bug #419: MUL pipeline formal proof needed
    • €500 out of total of €550
  • Bug #421: TRAP pipeline formal correctness proof needed
    • €400 out of total of €500

NLNet.2019.10.Wishbone

  • Bug #325: create POWER9 TRAP pipeline
    • €100 out of total of €500