Axiomise expands formal training services from beginner to expert

Formal verification consultancy, IP and education company Axiomise, has expanded its training program to offer tiered courses for beginners through experts to further adoption of formal for hardware verification and validation.

Dr. Ashish Darbari, CEO and founder of Axiomise and Tech Design Forum’s Doc Formal columnist, will lead the courses.

The courses have six levels: Bronze, Bronze+, Silver, Gold, Gold+ and Platinum. Each is tailored to training students according to experience and skill. They will address formal verification theory and show how to implement an industrial application methodology.

Each continuing education course builds on the three pillars of formal –– theorem proving, model checking and equivalence checking –– and leverages best practices from experienced verification and education experts. All courses include demonstrations and case studies. The more advanced courses add lab work.

The courses are designed to accommodate approximately 10 students at a time and can be part of a corporate-wide agreement or a corporate professional development programs.

The courses are available now. Pricing for each is available upon request.

Dr. Darbari will also present “Comprehensive Processor Security Verification: A CIA problem,” describing a novel security verification framework specifically targeting processors, at the Design Automation Conference (DAC 2021) Tuesday, December 7. His talk will also be part of the Virtual DAC platform, available on-demand after the conference.(Dec 13- Jan1).