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

Schedule for beginner and intermediate training and certification will be announced this summer.