论文部分内容阅读
提出了一种基于时序等价性检查技术的组合逻辑单元系统级可靠性分析理论和方法，并基于VIS系统下用C语言实现了原型工具。实验结果表明本方法可以成功筛选出逻辑电路中的敏感点，为后续优化设计提供指导。
组合逻辑单元软错误可靠性分析
【摘 要】
：
提出了一种基于时序等价性检查技术的组合逻辑单元系统级可靠性分析理论和方法，并基于VIS系统下用C语言实现了原型工具。实验结果表明本方法可以成功筛选出逻辑电路中的敏
【机 构】
：
国防科学技术大学计算机学院 410073
【出 处】
：
中国电子商情：通信市场
【发表日期】
：
2011年期
其他文献
随着社会的发展,我国城市化进程也在不断的加快,人民的生活水平和质量得到了显著的提升,促使我国的建筑工程行业发展也越来越好,所以我国相关方面的建设工程监理方面的工作质
审计作为特定历史环境下的产物,其目标必然受到各种因素的影响和制约,并且随着这些因素的发展变化而发生改变,在不同的时期、不同的环境中,审计目标具有不同的特征.本文分析
迈克尔·达米特(M ichael Dummett)是20世纪英国最著名的哲学家之一,他的主要贡献在分析哲学、数学哲学、语言哲学和逻辑哲学等领域,尤其是他关于弗雷格哲学的研究奠定了他的
夏日炎炎,酷暑难耐,如果约上几个好友来到有山又有水的地方畅游一番多么令人惬意,在前几年夏天的一个周末我和同事就有了这次幸运的机会,单位工会组织职工来到了野三坡百里峡
在军民深度融合的发展过程中,面对军事行政强制行为,相对人是否可以通过司法途径救济,该如何救济,本文从军事行政强制的内涵、外延以及性质定位的角度,借鉴我国普通行政立法
偌大的中广传播宣布清盘,资产划拨和移交的问题随之产生,这其中,被电信行业“垂涎已久”的700MHz黄金频谱资源成为中广传播留下的最有价值资产,也成为此次清盘过程中最有争议
公路工程是我国社会基础设施建设的重要组成部分,直接关系着我国社会经济的发展.为了充分满足现阶段交通运输行业对公路质量的要求,应加强对施工技术的控制管理,为公路工程施
在售卖食物、书籍．家具、时尚物品的同时，传递快乐、传递愉悦舒畅，这是松浦豫太郎等一批人正在做的事。在这个世界上，还有很多人也在做同样的事，他们是一批比任何人都优越的“生活
晋北锁钥,忻州盆地。巍巍云中山西横,滔滔云中河穿境。北锁金山,忻口天险;南锁石岭,山高岭峻;中锁云中,河水滚滚。山水关隘处,兵家必争地。昔日,忻川之水,汉祖赐名;今朝,忻口
在市场交易中尤其是作为最基础的合同领域,出现大量的合同不规范,引发了大量的合同纠纷,不讲诚信、恶意欺诈不断出现,违反公平原则甚至损害公序良俗的情况时有发生,极大地影