model checking

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