Global training solutions for engineers creating the world's electronics

Formal Verification for Non-Specialists

Friday February 10 2023

1 hour session (All Time Zones)
Presenter: Doug Smith

Senior Member Technical Staff

Asia and Europe

Friday, February 10, 2023

Time: 10-11am (GMT) 11-12pm (CET) 3.30-4.30pm (IST)


Americas

Friday, February 10, 2023

Time: 10-11am (PST) 11-12pm (MST) 12-1pm (CST) 1-2pm (EST)


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.


Doug Smith

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.


Attendance is free of charge

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


More FREE online support resources with Doulos KnowHow

Doulos Knowhow includes

  • Technical information
  • Coding examples
  • Guidelines
  • Tips
  • Tutorials
  • Video guides
  • Downloads

Visit www.doulos.com/knowhow

Related training available from Doulos:

Please contact Doulos to schedule a public course to suit you, or to discuss onsite training.