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 complete the following form then click 'continue >>'.