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.