Formal Training – Edaptive Computing, Inc

Formal Training and Certification

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

  • how to apply and integrate formal verification into design verification methodologies
  • developing appropriate constraints, covers, and assertions for sufficient design coverage
  • automated, user friendly capabilities of new, state-of-the-art formal verification tool suites

The training program will consist of three levels: beginning, intermediate and advanced. At the completion of each level of the formal training course, students will be able to take a corresponding exam. Once the student has passed the exam, OneSpin will provide the students with a formal certification, highlighting their understanding and competency in formal verification methodologies. The joint ECI-OneSpin Formal Verification certification program will serve to address a growing gap in the hardware verification workforce by increasing the integration and application of formal methods and their methodologies for 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. We will publish schedule for these training by end of 2020.

 

Want to receive updates about formal training?