Formal Verification Rev A

Summary
Report on Formal Verification Testing, Revision A