![Loading Events](https://marketingeda.com/wp-content/plugins/the-events-calendar/src/resources/images/tribe-loading.gif)
- This event has passed.
Formal Verification for Non-Specialists
February 10, 2023 @ 10:00 am - 11:00 am PST
![Doulos, Feb 10, 2023](https://marketingeda.com/wp-content/uploads/Doulos-Feb-10-2023.jpg)
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 tool from Cadence® as an example, Doug will explain exactly what you need to know to use formal effectively without acquiring deep knowledge of how it works under-the-hood.
Doug Smith – Doulos Senior Member Technical Staff will present this training webinar, which will consist of a one-hour presentation with interactive Q&A available to attendees throughout.