Skip to main content
In the News

RISC-V Verification: From Simulation To Formal

By June 27, 2024No Comments

Axiomise’s Nicky Khodadad and Ashish Darbari discuss simulation and the need for formal verification and RISC-V, including why simulation-based verification is inadequate to find all the bugs in a design and how formal verification can help with bug hunting for corner-case bugs and exhaustive proofs of bug absence.

Read the article here.

Stay Connected With RISC-V

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