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

10 Scopus citations

Abstract

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
DOIs
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

Conference

Conference55th Annual Design Automation Conference, DAC 2018
CountryUnited States
CitySan Francisco
Period24/06/1829/06/18

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

Cite this