Formal Verification for Non-Specialists ✅

• Datum: vrijdag 18 maart, 2022
• Duur: 1 uur (met live Q&A)
• Tijd: 11:00 – 12:00
• Spreker: Doug Smit
  
• Prijs: GRATIS!

Webinar Overview:

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.

Attendance is free of charge

If you have any queries, please contact webinars@doulos.com