Coverage Driven Signoff with Formal Verification on Power Management IPs