Tradercommunity Clickoptions Forum

[Newsagent]

PR inside: Axiomise Partners With Bluespec to Verify Its RISC-v Cores

(PR-inside.com) Industrial-strength formal verification for production-grade RISC-V SoCs

LONDON, GB / ACCESS Newswire / July 18, 2025 / Axiomise partners with Bluespec to verify its RISC-V cores.

The Axiomise formal verification solution, powered by its formalISA®and footprint® apps, part of the axiomiser ®platform, was used to verify the latest RISC-V core from Bluespec Inc ® . The UK-based company, Axiomise, integrated the Bluespec core into the formalISA app and, within the first few weeks, started identifying bugs and building exhaustive proofs of correctness.

formalISA is an automated architectural formal verification solution that utilises SystemVerilog Assertions (SVA) to construct formal proofs of correctness for RISC-V ..

https://reports.pr-inside.com/axiomise- ... 120796.htm
Copyright PR-Inside.com 2025