|Conference:||Formal Verification 2015 (click here to see full programme)|
|Speaker:||Mark Handover, Applications Engineer|
|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:|
This session will review: how to:
|Biography||Mark 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:
Formal Verification 2015 is made possible through the generous support of our sponsors.