safety

July 4, 2019
Ashish Darbari is CEO of formal verification consultancy Axiomise.

A new formal proof kit for RISC-V processors

Doc Formal describes a strategy developed by his company Axiomise to apply formal verification proofs to open-source processor for safety, security and reliability.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , , , , ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors