Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders
Cost-Aware Patch Generation for Multi-Target Function Rectification of Engineering Change Orders
复制标题
用于工程变更单的多目标功能纠正的成本感知补丁生成
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
J. H. Jiang
中科院分区：
文献类型：
--
作者：
He;J. H. Jiang
日益增长的系统复杂性使得工程变更指令(ECO)成为集成电路设计中的一种常见做法。尽管进行了广泛的研究，但现有方法不能有效地应用于通过使用中间信号同时固定多个目标点来进行校正的情况。此外，如何有效地生成低成本的面片函数很少被讨论。这些挑战在2017年ICCAD CAD大赛中被作为一个问题提出。基于布尔可满足性和插值法，提出了一种完善的多目标ECO资源感知补丁生成算法。实验表明，与大赛中其他获胜的队伍相比，我们的结果质量很高。
The increasing system complexity makes engineering change order (ECO) mostly inevitable and a common practice in integrated circuit design. Despite extensive research being made, prior methods are not effectively applicable to instances where rectification is to be done by simultaneously fixing multiple target points using intermediate signals. Moreover, how to efficiently generate low-cost patch functions is rarely addressed. These challenges are posed as a problem in the 2017 ICCAD CAD Contest. Based on Boolean satisfiability and interpolation, we propose a sound and complete algorithm for resource-aware patch generation of multi-target ECO. Experiments show our high quality results compared to other winning teams in the contest.