位置:立项数据库 > 立项详情页
面向功能ECO的不等价逻辑抽取方法研究
  • 项目名称:面向功能ECO的不等价逻辑抽取方法研究
  • 项目类别:青年科学基金项目
  • 批准号:61204047
  • 申请代码:F040206
  • 项目来源:国家自然科学基金
  • 研究期限:2013-01-01-2015-12-31
  • 项目负责人:王达
  • 依托单位:中国科学院计算技术研究所
  • 批准年度:2012
中文摘要:

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

结论摘要:

英文主题词logic difference extraction;structural signature;diagnosis;failure analysis;rectification dependency


成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 14
  • 8
  • 0
  • 0
  • 0
相关项目
期刊论文 60 会议论文 2 获奖 4 专利 1 著作 3
期刊论文 35 会议论文 9
王达的项目