model checking

August 31, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: The evolution of formal verification – Part Two

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
July 21, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: The evolution of formal verification – Part One

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
May 28, 2014

Formal verification

As designs get larger and stress the ability of simulation to exercise an SoC, formal techniques have become essential parts of design and verification.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors