ECI and OneSpin Launch Formal Verification Certification Program to Promote Best Practices for Meeting IC Integrity Standards

Unique Curriculum Designed to Bolster Verification Expertise Needed for Designs Across 5G, IoT, AI, Automotive, Industrial, Defense, and Avionics

Edaptive Computing Inc. (ECI or Edaptive) and OneSpin Solutions unveiled the OneSpin Formal Verification Certification Program to help organizations at the forefront of IC design gain the necessary knowledge and expertise to deliver functionally correct, safe, assured and secured electronics to the market. The program provides comprehensive training of formal methods theory, techniques and their application to real-world hardware designs using the OneSpin Design Verification 360 Solutions.

“Today’s complex and rapidly evolving electronics landscape creates a heavy burden on companies to effectively meet stringent IC integrity standards,” commented Raik Brinkmann, President and CEO of OneSpin. “Formal is a critical part of companies’ verification methodology and every company will benefit from having the expertise to match. We are pleased to be working with Edaptive to deliver this knowledge utilizing our unique technology that has been widely adopted and proven successful across the full spectrum of application areas.”

Recommended AI News: Raydiant Partners With Zoom To Offer Businesses A Better Way To Virtually Connect With Teams And Customers

System on Chip (SoC) designs for 5G, IoT, AI, automotive, industrial, defense, and avionics have become incredibly complex. These designs are often heterogenous in nature, use programmable logic, and integrate a variety of cores, such as RISC-V. Due to the fact these designs are becoming far more flexible and customized leads to greater verification challenges. Companies can struggle to keep pace with the verification knowledge required to ensure their devices are fully verified from the outset and that they meet and continue to meet IC integrity standards throughout their products’ lifecycles.

“ECI is integrating and applying commercial off-the-shelf (COTS) verification tools and advanced techniques and methods to provide solutions for assured and secured microelectronics,” said Praveen Chawla, President and CTO of Edaptive. “Working with OneSpin will allow us to transfer our formal verification knowledge and expertise to organizations needing to verify IC design integrity.”

Recommended AI News: Seculetter And Kt Allied To Launch An Integrated Security Product

Curriculum to Meet Demand

This unique certification program consists of three levels of training: beginner, intermediate, and advanced. Hardware verification engineers, both new and experienced in formal, can expect to receive a comprehensive understanding of the theory behind formal methods as well as practical education for integrating formal into their own verification methodologies using real-world hardware designs. Classes will use OneSpin’s DV and EC 360 Formal Verification Solutions. Certification exams will be conducted following the completion of the individual courses.

Students will learn to:

• Know when and how to apply formal verification to a design verification methodology, alongside directed testing and emulation
• Develop appropriate constraints, covers, and assertions for sufficient design coverage
• Apply metric-driven verification to obtain coverage metrics and how to incorporate them into design verification methodology
• Work on a broad variety of design use cases
• Operate within an automated, user-friendly, and state-of-the-art formal verification workflow

Recommended AI News: Q Link Wireless’s Newly Expanded 5G Network Is Now Serving Mississippi Residents