- ARC-V Processor IP
- ARC-V RHX-105 dual-issue, 32-bit multi-core RISC-V processor for real-time applications
- ARC-V RMX-500 power efficient 32-bit RISC-V processor for embedded applications
- E2 Series - Power & area optimized: 2-3-stage, single-issue pipeline, as small as 13.5k gates
- E3 Series - High performance 32-bit RISC-V Processor
- E7 Series - Ultra High Performance 32-bit RISC-V Embedded Processor
- More Products...
IP-SOC DAYS 2025 IP-SOC DAYS 2024 IP-SOC DAYS 2023 IP-SOC DAYS 2022 IP-SOC DAYS 2021 IP-SOC 2024 IP-SOC 2023 IP-SOC 2022 IP-SOC 2021
|
|||||||
![]() |
|

Axiomise Launches Next-Generation formalISA App for RISC-V Processors
- NVIDIA Unveils NVLink Fusion for Industry to Build Semi-Custom AI Infrastructure With NVIDIA Partner Ecosystem (May. 20, 2025)
- sureCore extends its sureFIT design service to include custom memory solutions for AI applications (May. 20, 2025)
- Versatile Whitebox 1G Ethernet PHY IP Core with BroadR-Reach™ for Connected Automotive and Industrial Systems (May. 19, 2025)
- Codasip: Toward Custom, Safe, Secure RISC-V Compute Cores (May. 19, 2025)
- Semidynamics: From RISC-V with AI to AI with RISC-V (May. 19, 2025)
- See Latest News>>
Jun. 02, 2023 –
LONDON –– June 1, 2023 –– 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.
Also announced today is a new RISC-V Studio Portal with real-world formalISA applications and product demonstrations to help the RISC-V ecosystem understand the necessity of exhaustive formal and the kind of bugs that can be caught with formal methods.
“We are excited to share the app launch in conjunction with a new studio portal with real-world applications of formalISA and product demos,” remarks Dr. Darbari. “The app will enable the wider ecosystem of RISC-V to see why exhaustive formal verification is a necessity and what kind of bugs can be caught with formal methods. FormalISA app is a powerful offering in realizing our vision of making formal normal. Axiomise has the tools and the skills to become the ‘go to’ RISC-V Verification expert.”
Dr. Darbari and his team will be at the RISC-V Summit Europe to demonstrate formal lSA in Bay 7 from Tuesday, June 6, to Thursday, June 8, at Hotel Barcelo Sants in Barcelona, Spain.
About formalISA
Axiomise’s formalISA is a push-button formal verification solution used for architectural and micro-architectural verification of RISC-V processor cores. Initially launched four years ago, it has been used to formally verify numerous open-source and commercial RISC-V processors by identifying deep corner-case bugs and mathematically proving the absence of bugs on complex out-of-order and in-order cores.
A state-of-the-art proof status dashboard captures reporting and coverage information and provides full automation, saving time and cost. FormalISA is powered by i-RADAR®, and a reporting and coverage solution called SURF.
Formal ISA is available now. Pricing is available upon request.
About Axiomise
Axiomise is accelerating formal verification adoption through its unique combination of training, consulting, services and specialized verification solutions for RISC-V. Axiomise was founded by Dr. Ashish Darbari, FBCS, FIETE, DPhil (Oxford), who has been a formal verification practitioner for more than two decades with 60 patents in formal verification and over 70 publications.