Synopsys Formality White Papers

Techniques for Achieving Higher Completion in Formality

Formality® is an equivalence-checking solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. Formality includes an intuitive, flow-based user interface to streamline the verification process. An automated setup file in Formality sets the commands and variables in Formality to match the setup used by Design Compiler® (DC) or Fusion Compiler™ (FC), eliminating manual, error-prone scripts.

Please complete the following form then click 'continue >>'.

Required Required Fields

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

1.

What is your current interest in Equivalence Checking?



2.

What is the most important aspect of an equivalence checking tool?
(Check all that apply)









3.

Which RTL language will most likely be used on your next design?



4.

How would you best describe your role?









5.

Do you want to be contacted to learn more about Formality?