HOME    TOOLS    VERIFICATION    FUNCTIONAL VERIFICATION    VERIFICATION IP

Datasheet Download

VC Formal Coverage Analyzer

Projects are increasingly relying on coverage metrics to help determine when chips are ready for tape-out. However, coverage goals are not always attainable. VC Formal Coverage Analyzer provides an integrated mechanism for using robust formal techniques to determine which structural coverage metrics are attainable, and to automatically exclude metrics which cannot be reached.

Please complete the following form then click 'continue >>' to complete the download.   Note: By registering, you acknowledge and agree to the terms of the Synopsys Privacy Policy.

Required Required Fields

Business Email:Required
First Name:Required
Last Name:Required
Phone:Required
Job Title:Required
Company:Required
Country:Required
Address:Required
City:Required
State/Province:
Optional
Postal/Zip Code:Required



(requires browser cookies to be enabled)