# 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