Loading Events

« All Events

  • This event has passed.

Formal Verification for Non-Specialists

April 6, 2022 @ 10:00 AM - 11:00 AM

img 623e22c185686
Wed, Apr 6, 2022 10:00 AM – 11:00 AM PDT
Is formal verification ready for general use or do you need a PhD to use it? Larger companies continue to recruit formal PhDs into their verification teams while other less-well-qualified engineers seem reluctant to go beyond simplified formal “apps”. So, what is the truth of the matter? Can non-specialist engineers become productive with formal? In this webinar Doulos Senior Member Technical Staff, Doug Smith will explore the strengths and weaknesses of formal verification. Using the Jasper Formal Verification Platform from Cadence as an example, Doug will explain exactly what it is you need to know to use formal effectively without needing to acquire deep knowledge of how formal verification works under-the-hood. Attendance is FREE and live Q&A will be provided throughout the broadcast.
Share this post via:


April 6, 2022
10:00 AM - 11:00 AM
Event Tags:
, ,