metric-driven verification

August 9, 2019
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Spreading the word on formal in Bangalore

Doc Formal rounds up some of the the key observations about verfication made during July’s Synopsys VC Formal SIG event in India.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors