Synopsys Formality White Papers

ECO Implementation and Verification Using Formality Ultra

Formality Ultra is an extension to the Formality equivalence-checking solution. This article describes how Formality Ultra can be used to aid in the analysis, modification, and verification of a design that requires an ECO change. An example detailing the ECO flow using Formality Ultra is shown.

Please enter your business email address then click 'continue >>'.

Business Email: