model checking


May 31, 2015

Ten myths of formal verification debunked

Senior verification expert at Imagination Technologies debunks ten myths surrounding the use of formal techniques in SoC design and verification

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors