Successful verification depends on methodical verification planning combined with systematic verification processes. The key to success is the verification testplan, but all too often such plans focus only on a coverage-centric approach without considering the strengths of technologies and methodologies beyond constrained-random simulation. The addition of formal verification is one example of a holistic approach to strategic verification planning. Certainly formal can be used to prove an ad hoc set of assertions focused on high risk, high complexity functionality; but such a narrow application of this technology limits the significant benefits that automated formal apps and a formal property checking test bench can provide. In this session you will learn how to integrate multiple formal solutions into a holistic planning process and a metric-driven verification work-flow.