收藏本站
《国防科学技术大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

基于时序等价性检查的组合逻辑单元软错误可靠性分析

孙金银  
【摘要】:随着IC制造工艺的不断进步,组合逻辑电路中电气掩盖效应和时钟窗口掩盖效应都被极大程度的削弱了。最新研究指出IC设计的特征尺寸缩小到50nm时,电路组合逻辑部分引发的软错误率将与时序逻辑部分的软错误率相当。而Intel最新推出的westmere-EP处理器中已经采用了32nm技术。这说明组合逻辑单元软错误对电路可靠性的影响已经能够达到甚至超过时序逻辑单元软错误对电路可靠性的影响。随着电路组合逻辑部分的软错误率的升高,组合逻辑部分的软错误研究变得越来越重要。 已有的适用于数字电路系统级可靠性分析的方法主要有两类,即基于故障模拟的方法和基于形式化技术的方法。基于故障模拟的方法应用最广泛,但是这类方法很难实现输入空间和故障空间的完全覆盖,是不完备的。基于形式化技术的方法虽然可以保证分析结果的完备性,但是已有的方法主要是基于模型检验和定理证明的。这些方法都需要较多的经验和专家支持,定理证明还需要手工干预。 本文提出了基于组合逻辑部分的错误传播模型和时序等价性检查技术的组合逻辑单元软错误敏感点筛选方法。该方法首先从电路中提取组合逻辑单元软错误的传播行为模型,然后基于该模型对故障电路与原电路进行等价性检查,识别对软错误敏感的组合逻辑单元。实验结果表明,本文提出的方法可以精确地筛选出电路中所有的软错误敏感点,可以用于避免对不敏感点的过度保护,减小电路容错代价。
【学位授予单位】:国防科学技术大学
【学位级别】:硕士
【学位授予年份】:2011
【分类号】:TN791

【参考文献】
中国期刊全文数据库 前3条
1 张英武;袁国顺;;微处理器故障注入工具与故障敏感度分析[J];半导体技术;2008年07期
2 唐明,张国平,张焕国;基于汉明纠错编码的AES硬件容错设计与实现[J];电子学报;2005年11期
3 黄海林;唐志敏;许彤;;龙芯1号处理器的故障注入方法与软错误敏感性分析[J];计算机研究与发展;2006年10期
中国博士学位论文全文数据库 前2条
1 朱丹;基于时序等价性检查的电路软错误系统级可靠性分析方法研究[D];国防科学技术大学;2010年
2 余洁;专用指令集处理器可靠性评估技术研究[D];中国科学技术大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 唐玲;徐怀;;复合泊松分布和泊松过程的可加性[J];安徽建筑工业学院学报(自然科学版);2007年05期
2 张琼杰;上官铁梁;;山西省滹沱河水环境综合质量的马尔柯夫变化趋势研究[J];现代农业科技;2008年20期
3 李武装;Brown运动的强马氏性及应用[J];安阳师范学院学报;2005年05期
4 张英武;袁国顺;;微处理器故障注入工具与故障敏感度分析[J];半导体技术;2008年07期
5 贾跃;宋保维;梁庆卫;;鱼雷武器系统效能评估模型及其仿真[J];兵工学报;2006年03期
6 韩占朋;王玉惠;姜长生;吴庆宪;;基于马尔可夫链的新型威胁评估预测方法[J];吉林大学学报(信息科学版);2012年02期
7 王金山;杨国超;;一种基于时序可变加权系数的组合预测模型[J];重庆理工大学学报(自然科学);2012年02期
8 赵珞成;罗志才;王东晓;王德征;;A-10绝对重力仪残差谱分析[J];测绘科学;2010年01期
9 石修松;程展林;;堆石料颗粒破碎的连续时间Markov链模型[J];长江科学院院报;2010年06期
10 李国荣;刘启贵;唐晓;;基于信息的违约传染[J];重庆科技学院学报(自然科学版);2010年03期
中国重要会议论文全文数据库 前8条
1 郭健;陈孝威;;一种基于内容的WWW图像搜索引擎系统模型[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
2 舒晓芬;王晓峰;余鹏;;某BIT测试性指标验证系统的研究与实现[A];第六届全国信息获取与处理学术会议论文集(1)[C];2008年
3 潘送军;胡瑜;李晓维;;多核处理器瞬态故障敏感性分析[A];第五届中国测试学术会议论文集[C];2008年
4 王天成;吕涛;李晓维;;RTL错误注入的方法和实现[A];第五届中国测试学术会议论文集[C];2008年
5 吴珍妮;梁华国;黄正峰;王俊;陈秀美;曹源;;容软错误的电路选择性加固技术[A];第六届中国测试学术会议论文集[C];2010年
6 赵利;陈中梁;胡瑜;李晓维;;软硬件协同的微处理器可靠性设计评估平台[A];第六届中国测试学术会议论文集[C];2010年
7 胡嘉伟;江建慧;;一种面向软件可靠性评估的故障注入机制的设计与实现[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 田增;朱英;巨鹏锦;曹华;;基于VPI的故障注入验证环境[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
中国博士学位论文全文数据库 前10条
1 陶有德;可修复模型的系统分析[D];北京信息控制研究所;2010年
2 孙钰;基于奇异摄动理论的马尔可夫机制转换波动模型下的期权定价[D];东华大学;2011年
3 陈石坤;面向程序验证的循环不变式自动构造技术研究[D];国防科学技术大学;2010年
4 孙岩;纳米集成电路软错误分析与缓解技术研究[D];国防科学技术大学;2010年
5 朱丹;基于时序等价性检查的电路软错误系统级可靠性分析方法研究[D];国防科学技术大学;2010年
6 董浩;RNA二级结构预测方法研究[D];吉林大学;2011年
7 李嘉;随机发展方程的吸引子存在性问题研究[D];西南大学;2011年
8 王俊文;数字图像内容篡改盲取证研究[D];南京理工大学;2010年
9 于敏;地铁综合监控系统可靠性分析方法研究[D];西南交通大学;2011年
10 吕敬亮;几类随机生物种群模型性质的研究[D];哈尔滨工业大学;2011年
中国硕士学位论文全文数据库 前10条
1 王变;两类再保险风险模型的破产概率研究[D];河南理工大学;2010年
2 李坤;参数参与进化的自适应遗传算法研究[D];南昌航空大学;2010年
3 张辉;随机样条函数研究[D];辽宁师范大学;2010年
4 刘文辉;时滞系统的输入—状态稳定性[D];郑州大学;2010年
5 邱堃铭;关于随机多项式若干问题研究[D];辽宁师范大学;2010年
6 黄强;我国可转换债券定价方法问题分析[D];江西财经大学;2010年
7 肖翠柳;Copula函数在医疗费用估计中的应用[D];江南大学;2010年
8 卢树强;鞅分析在Cox风险模型中的应用[D];哈尔滨理工大学;2010年
9 甘鸿声;入侵容忍系统的动态安全性量化方法研究[D];华东理工大学;2011年
10 鲍强;中国农业自然灾害保险研究[D];浙江大学;2010年
【二级参考文献】
中国期刊全文数据库 前8条
1 张英武;袁国顺;;微处理器故障注入工具与故障敏感度分析[J];半导体技术;2008年07期
2 周盛雨 ,陈晓敏;一种纠错编码器的实现[J];电子技术;2003年03期
3 唐明,张国平,张焕国;基于汉明纠错编码的AES硬件容错设计与实现[J];电子学报;2005年11期
4 黄海林;唐志敏;许彤;;龙芯1号处理器的故障注入方法与软错误敏感性分析[J];计算机研究与发展;2006年10期
5 周学海;余洁;李曦;王志刚;;基于指令行为的Cache可靠性评估研究[J];计算机研究与发展;2007年04期
6 余洁;周学海;李曦;高妍妍;;关于功能模拟器生成环境的研究[J];计算机仿真;2006年11期
7 余洁;李曦;周学海;高妍妍;;基于事件B的处理器形式化建模方法的研究[J];系统仿真学报;2007年03期
8 余洁;李曦;周学海;王志刚;;可重定向的周期精确模拟器生成环境研究[J];小型微型计算机系统;2007年01期
中国博士学位论文全文数据库 前1条
1 余洁;专用指令集处理器可靠性评估技术研究[D];中国科学技术大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 张元安;;用于高品质电视的逻辑单元[J];电子技术;1987年12期
2 李亮;叶尚辉;;工程结构在随机参数和随机载荷影响下的可靠性分析[J];计算机工程与应用;1988年01期
3 ;计算机辅助可靠性分析综合软件简介[J];质量与可靠性;1995年04期
4 张玲霞,陈明;无失效数据Bayes可靠性分析的一种新方法[J];系统工程与电子技术;2001年12期
5 王建;沈元隆;;星形网络的可靠性分析及其路由选择[J];西安邮电学院学报;2006年01期
6 谭华;;基于故障树分析法的数控系统可靠性研究[J];装备制造技术;2006年04期
7 吴坤君;雷宏江;李强;;通信电源设备的可靠性分析[J];通信技术;2008年03期
8 朱树红;夏罗生;;数控机床的可靠性分析[J];机床电器;2006年04期
9 孙怀义;刘琴;;用于可靠性分析的各类分布函数及实用性分析[J];自动化与仪器仪表;2007年05期
10 王淑琴;耿瑞平;;基于ROC曲线的水印算法可靠性分析[J];微计算机信息;2008年12期
中国重要会议论文全文数据库 前10条
1 张大方;武连文;;多环系统的容错性与可靠性分析[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
2 郝哲;何修仁;刘斌;;地下岩体帷幕注浆堵水可靠性分析[A];新世纪岩石力学与工程的开拓和发展——中国岩石力学与工程学会第六次学术大会论文集[C];2000年
3 肖贵平;;小型群体可靠性分析初探[A];第一届全国人—机—环境系统工程学术会议论文集[C];1993年
4 周振安;;地震前兆数据采集器的可靠性分析[A];中国地震学会第八次学术大会论文摘要集[C];2000年
5 陈钢耀;刘超;于连山;刘淑玲;;船舶螺旋桨轴强度的可靠性分析[A];中国航海学会船舶机电与通信导航专业委员会2002年学术年会论文集(船舶机电分册)[C];2002年
6 刘桂凤;张良文;陈彬磊;王海波;;国家商务部1#楼转换桁架施工荷载作用可靠性分析[A];钢结构工程研究(六)——中国钢结构协会结构稳定与疲劳分会2006年学术交流会论文集[C];2006年
7 夏胜平;谢红卫;;多态关联系统可靠性分析中的多元布尔逻辑[A];1998中国控制与决策学术年会论文集[C];1998年
8 潘渝伯;吴志良;;西门子船舶柴油机自动控制系统原理及可靠性分析[A];大连海事大学校庆暨中国高等航海教育90周年论文集(机电分册)[C];1999年
9 戚广枫;;可靠性理论在接触网领域的初步应用研究[A];中国铁道学会电气化委员会2006年学术会议论文集[C];2006年
10 董浩然;林少芬;;液压柱塞泵故障树分析[A];2007年全国机械可靠性学术交流会论文集[C];2007年
中国重要报纸全文数据库 前10条
1 记者  李映 赵艳秋;FPGA 65nm技术竞赛开锣[N];中国电子报;2006年
2 易凡;Altera发售业界首款65nm低成本FPGA[N];电子资讯时报;2007年
3 本版编辑赵艳秋 Danny Biran Ivo Bolsens John East;FPGA:65nm器件上量 低功耗市场兴起[N];中国电子报;2007年
4 中国建设银行三峡分行 李亮元;RAID系统可靠性分析[N];计算机世界;2003年
5 陈翔;揭密纳米计算[N];中国计算机报;2007年
6 ;虚拟化 给企业备份注入新思路[N];计算机世界;2008年
7 石松;复杂机械装备可靠性设计与评估技术[N];科技日报;2007年
8 赵艳秋;PLD在显示、汽车及便携产品中开拓新应用[N];中国电子报;2008年
9 李响;惠普纳米技术延长摩尔定律寿命[N];计算机世界;2007年
10 Nelson Nahum;自动精简配置技术:解决磁盘空间浪费的良药[N];网络世界;2007年
中国博士学位论文全文数据库 前10条
1 杨多和;可靠性分析在压电主动杆元桁架结构系统的应用[D];哈尔滨工程大学;2009年
2 高海霞;基于SRAM技术的现场可编程门阵列器件设计技术研究[D];西安电子科技大学;2005年
3 乐大珩;抗功耗攻击的密码芯片电路级防护关键技术研究[D];国防科学技术大学;2011年
4 安海;桁架结构系统可靠性分析方法的研究[D];哈尔滨工程大学;2009年
5 韦一;基于RTD的通用逻辑单元设计及其应用[D];浙江大学;2011年
6 于宝东;用于物理综合的布线估计算法[D];华中科技大学;2006年
7 陈苑锋;FPGA评估系统布局布线模块设计[D];复旦大学;2006年
8 张志民;船首底部砰击强度的可靠性分析[D];哈尔滨工程大学;2001年
9 刘繁茂;面向故障过程的多设设可靠性分析与维修决策[D];华中科技大学;2011年
10 李其;抽油杆表面裂纹及剩余寿命的可靠性研究[D];哈尔滨工程大学;2006年
中国硕士学位论文全文数据库 前10条
1 孙金银;基于时序等价性检查的组合逻辑单元软错误可靠性分析[D];国防科学技术大学;2011年
2 王永胜;基于响应面法和蒙特卡罗法的混凝土结构可靠性分析[D];西安建筑科技大学;2005年
3 陈殿夏;桥式网络系统可靠性分析和优化[D];沈阳工业大学;2005年
4 张力;上、下弦为预应力拉索的索-杆协同网架静力计算与可靠性分析[D];重庆大学;2005年
5 王玲;边坡稳定可靠性分析及综合支护体系研究[D];长安大学;2005年
6 史春梅;高层建筑地基基础方案比选及可靠度分析研究[D];长安大学;2005年
7 杨振放;深基坑工程支护方案的可靠性分析及优选研究[D];长安大学;2005年
8 路金川;农村配网供电可靠性分析[D];山东大学;2005年
9 杨剑秋;轮盘应力寿命可靠性分析方法研究及应用[D];西北工业大学;2006年
10 章征宝;城市给水系统可靠性分析[D];合肥工业大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026