deep formal

February 23, 2018
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: Living verification in the fast lane

Why is formal verification not getting the traction it should. The good doctor has some thoughts on that... and a new solution.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors