combo-loop

October 17, 2012

Mentor extends Questa with formal coverage checks

New features provide enhanced formal checking analysis, code coverage closure and extended clock domain crossing analysis.

Article | Topics: Blog Topics, Blog - EDA, - General, Verification | Tags: assertions, clock domain crossing, combo-loop, coverage, deadlock, formal verification, Questa, x propagation | Organizations: Mentor Graphics