formal verification

August 23, 2012

Verification challenges require surgical precision

The verification challenge is best addressed by a combination of highly targeted tools, according to Pranav Ashar, CTO of Real Intent.
June 6, 2012

DAC 2012: A look inside Accellera’s UCIS

Accellera has approved version 1.0 of the Unified Coverage Interoperability Standard (UCIS). Here's how it works.

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors