Global training solutions for engineers creating the world's electronics

Dealing with Complexity in Formal

Tuesday June 25 2024

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

Senior Member Technical Staff

Asia and Europe

Tuesday, June 25, 2024

Time: 10-11am (BST) 11-12pm (CEST) 2.30-3.30pm (IST)


Tuesday, June 25, 2024

Time: 10-11am (PDT) 11-12pm (MDT) 12-1pm (CDT) 1-2pm (EDT)

Webinar Overview:

In the world of formal verification, abstractions along with design reductions, help reduce the state space and make it easier for formal to converge on its proofs.

In this webinar, Doulos Senior Member Technical Staff - Doug Smith will explore the process of abstraction and safe design reductions, and when to use them. Doug will show practical examples of both (using VC Formal from Synopsys) and discuss how to interpret formal results obtained by using abstractions and reductions. 

The content will be useful to anyone who wants to learn to make more effective use of formal.

Attendance is FREE and live Q&A will be provided throughout the broadcast.

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

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.