一种基于动态可测性测度的快速识别逻辑冗余故障的方法—DRFM

来源 :计算机学报 | 被引量 : 0次 | 上传用户:yaoyaosara
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在测试生成之前,借助可测性分析方法,以线性时空开销识别数字电路的冗余故障是个至今尚未解决的问题.本文在文献[8,9]的四值动态代价分析的基础上,首次采用动态相关信号模型,提出了动态约束四值测度方法DRFM.DRFM能精确描述实用电路中常见的冗余故障,它识别一个冗余故障所需的时间为电路门数的线性增长函数.
其他文献
在和饲料行业人士沟通的过程中.常有一些朋友谈起在饲料营销中遇到的一些细节问题.如饲料颜色、气味、适口性等。下面笔者就从营销的角度与各位朋友分享一些自己在饲料营销中积
1 7月份农产品利空压力。但下方承接较强进入7月中旬,基本金属、原油在通胀的担忧下展开如火如荼的涨势.独农产品岿然不动甚至震荡走弱。根本原因在于。农产品更多受自身基本面
匹配是计算机视觉中的一个重要而又必不可少的步骤.本文针对运动图象的对应问题,给出了一个新的基于层次基元结构的匹配算法.整个算法分成两步,第一步是层次基元结构的构建.
磁悬浮支承技术是目前世界上公认的高新技术之一。它在高档数控机床中可以作为高速机床电主轴和高速机床直线电机进给平台的支承技术。主动控制磁悬浮轴承(简称主动磁轴承AMB)
期刊
本文从数据管理和工程应用两个方面介绍了一个直接与图形接口管理环境(GIME)、几何造型系统GEMS、交互绘图系统GIS等相联接的面向工程应用的数据库管理系统EDBMS的设计与实现
分布式问题求解是人工智能的一个新分支.由多个智能结点相互协作的分布式问题求解系统具有良好的并行性、可靠性、可扩展性与知识、资源共享能力,特别适用于分布及实时的应用
2007年,中国大豆市场彻底摆脱了低迷行情.价格创历史水平。供应降低而需求持续强劲增长是今年全球大豆市场的总基调,也是成就我国大豆市场由熊市转牛市的基础。
本文介绍一种快速成型和求精的专家系统开发方法,同时还介绍我们研究的专家系统开发工具CONBES.
目的探讨髓内扩张自锁钉在胫骨骨折中的应用。方法采用髓内扩张自锁钉治疗胫骨骨折58例,包括闭合性骨折41例,开放性骨折17例进行回顾性分析。结果本组58例术后拍片检查,对位