Skip to main content
In the News

Axiomise Heads to RISC-V Summit Europe June 25-27 in Munich

By June 13, 2024June 17th, 2024No Comments

LONDON, June 13, 2024 (GLOBE NEWSWIRE) — Axiomise, a company noted for enabling formal verification adoption, is headed to the RISC-V Summit Europe to demonstrate formalISA, its automated formal RISC-V app, and showcase its production-grade verification methodology for 32-bit and 64-bit RISC-V processors.

Also announced today as part of Axiomise’s vision of making formal normal is a half-price discount on its flagship on-demand FV101 course from Sunday, June 23, through Monday, July 15, using coupon code riscv-2024-eu. Additionally, it unveiled an industry vodcast on formal verification covering RISC-V verification.

Read the full article.

Stay Connected With RISC-V

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