Main
Home  :  Support  :  Answers  :  Synopsys Formality - Are Application Notes on the formal verification flow available?

Synopsys Formality - Are Application Notes on the formal verification flow available?

AR# 12815

Search For Another Answer
Topic Partner Tools
Last Updated 03/16/2010
Status Active
Description

Are Application Notes on the formal verification flow available?

Solution

When using Formal Verification, the supported flow is listed in the following Application Note on the Synopsys Web site: 
https://solvnet.synopsys.com/retrieve/027370.html

NOTE: You must have a Solvnet user name and password to access this document. Contact Synopsys to obtain a Solvnet account.

 
 
/csi/footer.htm