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:
|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).