Global training solutions for engineers creating the world's electronics

New Course Announcement: Advanced Formal Verification

April 2024|News

The new Advanced Formal Verification course from Doulos, equips engineers to tackle complex verification challenges, by providing a deep, practical level of knowledge. Attendees benefit from independent, objective tuition, while learning in the context of their chosen tool and methodology.

It is particularly targeted at engineers and teams who want to move to a subject-matter expert level on formal verification, understanding how to plan, use, and implement formal verification on their real-world projects.

Advanced topics include:

  • Satisfiability
  • Abstractions
  • Formal synthesis and modeling
  • Non-determinism
  • Advanced constraints, including under and over-constraining

View Full Details & Register Now