Samuel A. Falvo II

Individual Contributor.

Handy Things to Know

• 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