Samuel A. Falvo II (Samuel_A_Falvo_II)

Status Tracking

Completed but not yet added to payees list

  • Bug #306: Formal Correctness Proof for ALU pipeline
    • this task is part of MoU Milestone Bug #195
  • Bug #325: create POWER9 TRAP pipeline
    • this task is part of MoU Milestone Bug #383
  • Bug #418: SPR pipeline formal correctness proof needed
    • this task is part of MoU Milestone Bug #195
  • Bug #419: MUL pipeline formal proof needed
    • this task is part of MoU Milestone Bug #195
  • Bug #421: TRAP pipeline formal correctness proof needed
    • this task is part of MoU Milestone Bug #195