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.