mutation testing

March 28, 2017
Anders Nordstrom, senior corporate applications engineer, Verification Group, Synopsys

Are you testing your test?

Using formal core coverage to understand the effectiveness of formal coverage verification strategies in SoC design.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors