²ÝÁñÉçÇø

To achieve maximal quality of results (QoR) in synthesis, it requires leveraging retiming, multibit banking, and advanced datapath optimizations, which are part of the ²ÝÁñÉçÇø 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 ²ÝÁñÉçÇø Formality? ECO solution can start up front at the ECO RTL and understand the optimizations that ²ÝÁñÉçÇø Fusion Compiler employs, thus enabling rapid creation of ECOs. 

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