@inproceedings{2a6a549ae9d64034ae6781850e779039,
title = "Efficient computation of ECO patch functions",
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).",
author = "Dao, {Ai Quoc} and Lee, {Nian Ze} and Chen, {Li Cheng} and Po-Hung Lin and Jiang, {Jie Hong R.} and Alan Mishchenko and Robert Brayton",
year = "2018",
month = jun,
day = "24",
doi = "10.1145/3195970.3196039",
language = "English",
isbn = "9781450357005",
series = "Proceedings - Design Automation Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings of the 55th Annual Design Automation Conference, DAC 2018",
address = "United States",
note = "55th Annual Design Automation Conference, DAC 2018 ; Conference date: 24-06-2018 Through 29-06-2018",
}