Mentor extends Questa with formal coverage checks
New features provide enhanced formal checking analysis, code coverage closure and extended clock domain crossing analysis.
formal verification
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.
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.