位置:成果数据库 > 期刊 > 期刊详情页
面向最大串扰噪声的测试生成方法
  • ISSN号:1003-9775
  • 期刊名称:《计算机辅助设计与图形学学报》
  • 时间:0
  • 分类:TP303[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国科学院计算机系统结构重点实验室,北京100190, [2]中国科学院计算技术研究所,北京100190, [3]中国科学院研究生院,北京100049
  • 相关基金:基金项目:国家自然科学基金(60606008,60633060,60776031);国家“八六三”高技术研究发展计划(2007AA012476);国家“九七三”重点基础研究发展计划项目(2005CB321605). 李华伟,女,1974年生,博士,研究员,博士生导师,CCF高级会员,主要研究方向为VLSI/SoC设计验证、测试生成、时延测试、可靠设计、可信计算(1ihuawei@ict.ac.cn).
中文摘要:

随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.

英文摘要:

As the feature size continues to scale into the nanometer era, crosstalk-induced effect begins to exert a more significant influence and might cause a failure. We proposed a novel test generation method based on multiple crosstalk-induced glitch fault model (MCGF). This method can model the fault and generate proper patterns. In order to find the test activating aggressors as many as possible, we first map the objective of test generation into a weighted Max-SAT problem, and then solve it by using SAT solver to get required patterns. The sub-path constraints are added into the SAT problem to ensure that all activated aggressors switch simultaneously at the time the victim switches. Experiments on ISCAS89 benchmark circuit show that the proposed technique can be applied to circuits of reasonable sizes within acceptable time.

同期刊论文项目
期刊论文 158 会议论文 59 著作 2
期刊论文 28 会议论文 18 专利 4
期刊论文 19 会议论文 13 专利 3
同项目期刊论文
期刊信息
  • 《计算机辅助设计与图形学学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学技术协会
  • 主办单位:中国计算机学会
  • 主编:鲍虎军
  • 地址:北京2704信箱
  • 邮编:100190
  • 邮箱:jcad@ict.ac.cn
  • 电话:010-62562491
  • 国际标准刊号:ISSN:1003-9775
  • 国内统一刊号:ISSN:11-2925/TP
  • 邮发代号:82-456
  • 获奖情况:
  • 第三届国家期刊奖提名奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:24752