Formal Training – Edaptive Computing, Inc

Formal Training and Certification

As part of our workforce development effort, ECI, in collaboration with OneSpin Solutions, is pleased to announce a Formal Verification Certification Program. This comprehensive training program teaches engineers both the theory and application of formal methods to hardware designs for assured and secured microelectronics. The training covers a wide variety of topics, including:

  • How to apply and integrate formal verification into design development and audit flows.
  • Automated, user-friendly formal apps addressing recurrent verification tasks in a rigorous, efficient fashion.
  • Development of high-quality assertions, constraints, and cover points, to detect corner-case bugs, demonstrate sufficient coverage, and achieve signoff.
  • Application of both automated and expert-led formal technology for hardware trust and security assurance.

The program encompasses three expertise levels: beginner, intermediate, and advanced. After each training, students have the option to take a corresponding exam. If successful, they are awarded a certificate highlighting their level of understanding and competency in formal verification methodologies. The joint ECI-OneSpin Formal Verification Certification Program addresses a growing knowledge gap in the hardware workforce by fostering the use of tools and methodologies that enable the development of assured and secured microelectronics.


Formal Verification Certification Training Schedule:

Class Date
Introductory Formal Verification Certification Training Class 10/27/2020 - 10/29/2020
Introductory Formal Verification Certification Training Class 2/16/2021 - 2/18/2021
Introductory Formal Verification Certification Training Class 5/11/2021 - 5/13/2021
Introductory Formal Verification Certification Training Class 8/17/2021 - 8/19/2021

Intermediate and Advanced Certification Training will be available in 2021 (schedule published by the end of 2020).


Want to receive updates about formal training?