Synopsys Formality ECO

Synopsys Formality ECO is an automated engineering change order (ECO) implementation solution that analyzes RTL differences, generates functionally correct, timing-aware patches to gate-level netlists, and verifies changes with formal equivalence techniques to reduce late-stage ECO schedule risk and manual error.