October 31, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise and a Royal Academy of Engineering visiting professor at the University of Southampton.

Doc Formal: The crisis of confidence facing verification

Why is verification still such a challenge in spite of all the technologies and techniques being brought to bear


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