面向功能ECO的不等价逻辑抽取方法研究

项目名称： 面向功能ECO的不等价逻辑抽取方法研究

项目编号： No.61204047

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 信息四处

项目作者： 王达

作者单位： 中国科学院计算技术研究所

项目金额： 28万元

中文摘要： 功能ECO技术常用于集成电路设计后期，实现类似"打补丁"式的电路功能修改，以避免重新设计。不等价逻辑抽取是功能ECO的关键，决定着补丁的位置、数量和大小。本申请通过挖掘功能变更与结构变化之间的相关性，指导补丁定位和补丁数量与大小的协同优化，求解对原始网表改动小的不等价逻辑抽取方案。主要研究内容包括：1）基于结构特征签名的功能等价电路剪除方法，用于缩小补丁搜索区域。2）面向不等价结点的变更相关性集合构建方法，利用诊断向量和失效分析，建立可以表征功能变更与结构变化相关性的集合，为后续优化奠定基础。3）基于变更相关性的补丁定位与优化方法，利用变更相关性限定的补丁搜索空间，指导补丁定位；依据补丁校正能力的差异来优化补丁的数量和大小，最终形成改动小的补丁方案。期望通过上述研究，提出一种利用电路结构特性的功能ECO不等价逻辑抽取方法，以探索提高功能ECO效率。

中文关键词： 不等价逻辑抽取；结构特征签名；诊断；失效分析；变更相关性

英文摘要： Functional Engineering Change Order (ECO) has been an indispensable technique in modern VLSI design flow. It aims at an incremental rectifying the design problems after synthesis and optimization to avoid the loss caused by the design re-spin. Logic differences extraction is a key stage of ECO to decide where to perform the rectification and how many and what size of patches should be used. In this proposal, we will take the advantages of the dependency between the specification functional changes and the structural differences, to locate the rectification area, and to co-optimize the size and amount of patches. The topic of the proposal includes: 1) A functional equivalent circuit cut method based-on structural signature. It is used to reduce the search space for rectification. 2) A setting to formulate the rectification dependency of the internal nodes with different structures. The setting will guide the following step to decide the patch location, amount and size. 3) A patch location and optimization method based-on the rectification dependency sets. The method uses the dependency to locate the patches area, and decides which patch should be chosen and how many patches are needed based on nodes rectification capacity variance. Finally, we can get an optimized ECO plan. Hoping by this proposal, we can lay a f

英文关键词： logic difference extraction；structural signature；diagnosis；failure analysis；rectification dependency