草榴社区 Cloud
Cloud native EDA tools & pre-optimized hardware platforms
Request a Free Trial →
草榴社区 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 草榴社区 webinar, presenters from Qualcomm and 草榴社区 will share how 草榴社区 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.
Speakers
Listed below are the industry leaders scheduled to speak.
Sachin Singh
Principal Engineer at Qualcomm
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 at 草榴社区
Makarand Patil (Miki) is the R&D manager for 草榴社区 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.