Maximizing Formal ROI through Accelerated IP Verification Sign-off