Synopsys Webinar | On Demand

Functional ECOs (engineering change orders) are an important part of the design cycle, enabling design teams to respond quickly to frequent, unexpected, and last-minute register-transfer logic (RTL) functional changes. ECOs are unavoidable, however, they are necessary to fix functional verification bugs or to add critical new features, which enable designers to deliver products with minimal risk for defects and on schedule. 

Given the schedule pressures under which the ECO generation process operates, it is essential to:

  • Start the ECO generation process as soon as ECO RTL is ready
  • Generate a patch as fast as possible
  • Ensure patch accuracy and minimal disturbance to the implemented design


In this Synopsys webinar, presenters from Qualcomm and Synopsys will share how Synopsys Formality ECO’s targeted synthesis and net-based regions technologies accurately zoom in and synthesize only the regions inside modules affected by the ECO avoiding the time-consuming approach of a full re-synthesis. This approach enables Qualcomm to rapidly create compact, functionally correct, and timing-aware patches and meet its aggressive time-to-market requirements.


Listed below are the industry leaders scheduled to speak.

Sachin Singh

Principal Engineer

Sachin Singh is a principal engineer at Qualcomm where he leads the Implementation team for cutting-edge GPU projects. He has 22 years of ASIC design experience and currently specializes in RTL-GDS flows including synthesis, equivalence checking, and functional ECOs for signoff.  Sachin has a master’s degree from California State University Sacramento and Bachelor’s degree from NIT-Bhopal.

Makarand Patil

Senior Manager, R&D

Makarand Patil (Miki) is the R&D manager for Synopsys Formality and Formality ECO products. He has over 20 years of experience in logic equivalence checking technologies spanning various areas of equivalence checking, such as RTL-Gate verification flows, solver engines, front-end language support, functional ECO, datapath optimizations, and UPF aware verification flows. Makarand holds a master’s degree in Computer Engineering from University of Kansas and a bachelor’s degree from Mumbai University.

Visit Us on Social


Register Now