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