Efficient Computation of ECO Patch Functions
Efficient Computation of ECO Patch Functions
复制标题
ECO 补丁函数的高效计算
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
R. Brayton
中科院分区：
文献类型：
--
作者：
A. Dao;Nian;Li;Mark Po;J. H. Jiang;A. Mishchenko;R. Brayton
工程变更令（ECO）在合成网表的规格发生变化后对其进行修改。ECO分为两个主要任务：寻找功能需要更新的目标信号和合成产生所需变化的补丁。本文提出了一种基于sat的高效解决方案：多输出patch函数的资源感知计算。该解决方案基于几种新算法，并且优于2017年ICCAD CAD竞赛（问题A）的前三名获奖者。
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).