Back to Basics : Doing Formal the Right Way

Mark Handover, Applications Engineer at Mentor graphics, will speak on “Doing Formal the Right Way” at the third annual TVS Formal Verification conference on Thursday, 21 May. Physical attendance at Reading in the UK or remote attendance are both possible.

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

Places are limited and this event often sells out so we recommend early registration.

Speaker and registration details can be found here.