Skip to main content
In the News

Axiomise Unveils Formal Verification 101 Training Program | Press Release

By April 6, 2021April 16th, 2021No Comments

Certification-Based Self-Paced On-Demand Continuing Education Program Includes Best Practices for Using Formal Verification

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.

Read the Press Release.

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.