Name:Mark Handover
Designation:European Application Engineer
Title:Automating Assertion Based Verification

Abstract:  Traditionally, verification engineers have relied on designers to be motivated to add assertions to their code. Unfortunately, the effort and time required by the designers to write these assertions often prevents designers from creating the assertions that the verification team needs to be successful.

This presentation will explain a solution from Mentor called Questa PropGen which automates ABV.  It enables the verification team to generate properties automatically using existing test environments and reduces the amount of manual coding of assertions.


Biography:  Mark has been involved in the design and verification of complex SoC’s for over 15 years with positions in a number of commercial and mil-aero companies. He has worked in his current role, as an applications engineer with Mentor Graphics for the past 11 years with expertise in 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 Materials: