Axiomise Partners With Bluespec to Verify Its RISC-v Cores

Automatische Nachrichtenfeeds - Themen werden automatisch gelöscht

Moderator: Moderatoren

  • Advertisement

Axiomise Partners With Bluespec to Verify Its RISC-v Cores

Beitragvon Newsagent » Freitag 18. Juli 2025, 14:08

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
Newsagent
Bot
 
Beiträge: 255177
Registriert: Mittwoch 2. Juni 2004, 17:27

Advertisement

Zurück zu Nachrichtenfeeds

Wer ist online?

Mitglieder: Bing [Bot]

  • Advertisement
cron