Global training solutions for engineers creating the world's electronics
Menu

Find a Training Course

May 2021|News

Doulos is pleased to announce training dedicated to Formal Verification.

Essential Formal Verification is intended for anyone looking for a solid, thorough, practical grounding in formal verification, including the principles, procedures, tricks, and rules-of-thumb.

Doulos VP of Engineering, Sam Bascal, says:
"Cutting through superficial detail, this course teaches the underlying concepts of formal verification in a way that would be applicable whichever formal verification tool you use. We're delighted to introduce this training that provides everything engineers need to know and understand in order to start using formal for their verification projects."

The training is available as 4 sessions live online (and will also be available as a 2 day in-person course) and includes state-of-the-art features that are found in many current commercial tools and formal techniques that are equally applicable in any tool environment.

View the full online course description and schedule here: https://www.doulos.com/training/formal-verification/essential-formal-verification-online/

Top stories

Image 1

Highest standard Doulos training at your own pace

October 2024|News

Image 1

Doulos at the Embedded Software Engineering Kongress

December 2024|News

Image 1

November Workshop - Migrating to the Vitis Embedded Software Development IDE

November 2024|News

Image 1

October Workshop - Designing with the Versal Adaptive SoC: Hardware Debug

October 2024|News