Efficient computation of ECO patch functions

Ai Quoc Dao, Nian Ze Lee, Li Cheng Chen, Po-Hung Lin, Jie Hong R. Jiang, Alan Mishchenko, Robert Brayton

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Scopus citations


Engineering Change Orders (ECO) modify a synthesized netlist after its specification has changed. ECO is divided into two major tasks: Finding target signals whose functions should be updated and synthesizing the patch that produces the desired change. This paper proposes an efficient SAT-based solution for the second task: Resource-aware computation of multi-output patch functions. The solution is based on several new algorithms and outperforms the top three winners of the 2017 ICCAD CAD Contest (Problem A).

Original languageEnglish
Title of host publicationProceedings of the 55th Annual Design Automation Conference, DAC 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Print)9781450357005
StatePublished - 24 Jun 2018
Event55th Annual Design Automation Conference, DAC 2018 - San Francisco, United States
Duration: 24 Jun 201829 Jun 2018

Publication series

NameProceedings - Design Automation Conference
VolumePart F137710
ISSN (Print)0738-100X


Conference55th Annual Design Automation Conference, DAC 2018
Country/TerritoryUnited States
CitySan Francisco


Dive into the research topics of 'Efficient computation of ECO patch functions'. Together they form a unique fingerprint.

Cite this