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

研究成果: Conference contribution同行評審

12 引文 斯高帕斯(Scopus)

摘要

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).

原文English
主出版物標題Proceedings of the 55th Annual Design Automation Conference, DAC 2018
發行者Institute of Electrical and Electronics Engineers Inc.
ISBN(列印)9781450357005
DOIs
出版狀態Published - 24 六月 2018
事件55th Annual Design Automation Conference, DAC 2018 - San Francisco, United States
持續時間: 24 六月 201829 六月 2018

出版系列

名字Proceedings - Design Automation Conference
Part F137710
ISSN(列印)0738-100X

Conference

Conference55th Annual Design Automation Conference, DAC 2018
國家/地區United States
城市San Francisco
期間24/06/1829/06/18

指紋

深入研究「Efficient computation of ECO patch functions」主題。共同形成了獨特的指紋。

引用此