Global training solutions for engineers creating the world's electronics

Formal Verification for Non Specialists

Presenter: John Aynsley

Co-Founder and Technical Fellow

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 Co-Founder and Technical Fellow, John Aynsley will explore the strengths and weaknesses of formal verification.

Using the VC Formal™ tool from Synopsys® as an example, John will explain exactly what you need to know to use formal effectively without acquiring deep knowledge of how it works under-the-hood.

John Aynsley

John Aynsley , Doulos Co-Founder and Technical Fellow, presents this training webinar.

If you have any queries, please contact

More FREE online support resources with Doulos KnowHow

Doulos Knowhow includes

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


Related training available from Doulos:

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