Pdf The Perf Approach For Formal Verification