Fast and Accurate Functional ECOs with Synopsys Formality ECO

To achieve maximal quality of results (QoR) in synthesis, it requires leveraging retiming, multibit banking, and advanced datapath optimizations, which are part of the Synopsys Fusion Compiler™ implementation solution. However, during the late-stage functional ECO (engineering change order) phase, the automated ECO tool needs to be sophisticated enough to generate optimal patches in the presence of such aggressive optimizations. Given these ECO implementations occur at a late stage, they always need to be implemented rapidly while ensuring that the functionality and timing requirements are met without any sacrifice to the synthesis QoR. 

The Synopsys Formality® ECO solution can start up front at the ECO RTL and understand the optimizations that Synopsys Fusion Compiler employs, thus enabling rapid creation of ECOs. 

In this Synopsys webinar, Intel shares its experience using Synopsys Formality ECO, an efficient, automated solution for implementing functional ECOs fast, accurately, and predictably. The presentation will detail how Synopsys Formality ECO helped with optimal patch generation which enabled Intel to meet its time-to-market requirements.