LONDON, April 06, 2021 (GLOBE NEWSWIRE) — Axiomise, the leading provider of cutting-edge formal verification consulting, training, services, and IP, today unveiled a comprehensive introductory certification-based formal verification training program to further the adoption of formal for hardware verification and validation.
Formal Verification 101 is the only course to combine the three pillars of formal––theorem proving, model checking and equivalence checking––into a standalone, on-demand course that emphasizes an industrial application methodology.
With more than 50 modules, the course accelerates the learning curve for applied formal verification, leveraging best practices from experienced verification and education experts. The self-paced, introductory course is ideal for students in Electrical Engineering, Computer Science, Electrical and Computer Engineering and Mathematics as well as digital designers and verification engineers working in the field of VLSI.