The original RTL synthesis, the SVF file may need edits to make it compatible with the modified RTL. Since the original SVF file is derived from Synthesis so that it can be used in Formality with the post-ECO RTL. Step 1: Creation of Supplemental SVF FileAfter verifying the RTL changes, the first step in the ECO flow is to modify the SVF generated by the original
Formality Ultra enables you to identify areas of ECO change, modify the design to implement theĮCO changes, and quickly verify only the areas of the design affected by the ECO modifications.Įxample: Using Formality Ultra to Implement and Verify a Functional ECOA section of the RTL description is shown below:ĮCO Implementation and Verification Using Formality Ultra 2 Regular synthesis flow and manually implement the functional changes directly to the post-implementation Since an ECO may come late in the design cycle, it is common to bypass the Corresponding functional modifications are also required of the post. Interactive Solution for ECO Implementation and VerificationDuring the design process, functional changes (ECO) may be made to the RTL after the physical An example detailing the ECO flow using Formality Ultra is shown. This article describes howįormality Ultra can be used to aid in the analysis, modification, and verification of a design that requiresĪn ECO change. ECO Implementation and Verification Using Formality Ultraįormality Ultra is an extension to the Formality equivalence-checking solution.