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 >>'.