Skip to main content

Holistic Verification Plans Include Formal for First Pass Success

Conference: Verification Futures 2019 (click here to see full programme)
Speaker: Harry Foster , Mentor, a Siemens Company
Presentation Title: Holistic Verification Plans Include Formal for First Pass Success
Abstract: Successful verification depends on methodical verification planning combined with systematic verification processes. The key to success is the verification test plan, but all too often such plans over-focus on a particular coverage-centric approach without considering the strengths of technologies and methodologies beyond constrained-random simulation with UVM. 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 testbench can provide. This talk will describe how formal can be integrated into a holistic planning and metric-driven verification work-flow.
Speaker Bio: Harry Foster is Chief Scientist Verification for the Design Verification Technology Division of Mentor, A Siemens Business; and is the Co-Founder and Executive Editor for the Verification Academy. He holds multiple patents in verification and has co-authored six books on verification–including the 2008 Springer book Creating Assertion-Based IP.

Harry was the 2006 recipient of the Accellera Technical Excellence Award for his contributions to developing industry standards, and was the original creator of the Accellera Open Verification Library (OVL) standard.

Close Menu