Speaker: Mark Handover, Mentor Graphics2015-06-02T10:21:45+00:00
Conference:Formal Verification 2015 (click here to see full programme)
Speaker:Mark Handover, Applications Engineer
Organisation:Mentor Graphics
Presentation Title:Back to Basics: Doing Formal the Right Way
Abstract:Automated formal apps have introduced a new generation of D&V engineers to the power of formal verification without the pain. This success has inspired renewed interest in creating formal testbenches for DUT-specific verification challenges that are well suited to formal. In this session you will learn how to:

  • Write assertions the right way – easy to learn SVA coding tricks that get the most out of the formal analysis engines AND ensure reuse with simulation and emulation
  • Run formal the right way – simple tips to setup the analysis for rapidly reaching a solution
  • Looking at coverage the right way – measuring “minimal sequential distance” as a way to measure formal coverage and judge “what’s the correct number of assertions

This session will review: how to:

  • Write assertions the right way – easy to learn SVA coding tricks that get the most out of the formal analysis engines AND ensure reuse with simulation and emulation
  • Run formal the right way – simple tips to setup the analysis for rapidly reaching a solution
  • Looking at coverage the right way – measuring “minimal sequential distance” as a way to measure formal coverage and judge “what’s the correct number of assertions
BiographyMark has been involved in the design & verification of complex SoC’s for 20 years with positions in a number of commercial and mil-aero companies.  He has held his current role, as an applications engineer with Mentor Graphics, for the past 14 years working primarily in the areas of formal and assertion based verification.  Mark holds a BEng in Digital Systems Engineering from the University of the West of England, in Bristol, UK.

View the Presentation Material:

Sponsors

Formal Verification 2015 is made possible through the generous support of our sponsors.
Formal Logo 2015