Skip to main content
In the News

Axiomise Launches Next-Generation formalISA App for RISC-V Processors

By June 1, 2023June 2nd, 2023No Comments

LONDON, June 01, 2023 (GLOBE NEWSWIRE) — Axiomise, the leading provider of cutting-edge formal verification solutions that include training, consulting, services and custom apps, today launched its next-generation formalISA® app with open-source, formally verified RISC-V processors such as cv32e40p and WARP-V.

Read the full press release.

Stay Connected With RISC-V

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