# Samuel A. Falvo II

Individual Contributor.

## Handy Things to Know

- [Notes on Formal Proofs.](/Documentation/notes_on_formal_proofs)

# Status tracking

Move things along from one stage to the next.

## Currently working on

* <https://bugs.libre-soc.org/show_bug.cgi?id=340>
  - formal proof of POWER9 SHIFTROT pipeline needed

## Completed but not yet submitted:

* <https://bugs.libre-soc.org/show_bug.cgi?id=418>
  - SPR pipeline formal correctness proof needed
  - EUR 350 (shared with [[lkcl]]
* <https://bugs.libre-soc.org/show_bug.cgi?id=421>
  - TRAP pipeline formal correctness proof needed
* <https://bugs.libre-soc.org/show_bug.cgi?id=419>
  - MUL pipeline formal proof needed

## Submitted (but not confirmed paid) for NLNet RFP

## Confirmed NLNet Paid