DVCLUB Europe | Formal Verification
It’s Been 24 Hours – Should I Kill My Formal Run?
|Conference:||DVCLUB Europe | Formal Verification | May 2018|
|Speaker:||Jeremy Levitt, Principal Engineer, Questa Formal R&D, Mentor, A Siemens Business|
|Abstract:||This time yesterday you kicked off a formal analysis – and it’s still running! Is it making any progress, or should you kill it now and start over? In this talk we will show how to make an informed decision using “engine health” monitoring, a snapshot of the active logic being used by the analysis, and making an honest appraisal of the assumptions you applied at the beginning of the run. Plus: we’ll show how a secure mobile app can be employed to keep track of progress of formal runs when you are away from your workstation.|
|Speaker Biography:||Dr. Levitt is a Principal Engineer in the Formal Verification Group of Mentor, A Siemens Business. He oversees R&D with a focus on algorithm development. Jeremy earned his Ph.D in Electrical Engineering from Stanford in 1997, M.S. in 1993 and a B.A.Sc in Engineering Science from the University of Toronto in 1991.|
|Presentation Downloads:||Visit the main Formal Verification page to download the presentations.|
- June 14, 2018
- Reading & Online
- FREE to attend
Now in its 8th successful year, VF2018 Europe (now incorporating Formal Verification 2018) is a unique one day conference, exhibition and industry networking event organised by T&VS in partnership with the community to discuss the challenges faced in hardware and software verification.
DVCLUB Europe is made possible through the generosity of our sponsors.