A New Method for the Detections of Multiple Faults Using Binary Decision Diagrams

来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:kateyg2919
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
不断地与集成电路的复杂性正在增加,在电路的一个本地缺点可以引起多重差错。有一个多重差错的一个数字电路的行为可以显著地不同于一个单个差错的。为在数字电路的多重差错的察觉的一个新方法在这篇论文被介绍,方法基于二进制决定图(BDD ) 。首先,为正常电路的 BDD 和有缺点的电路分别地被造。第二,测试 BDD 被 BDD 的 XOR 操作获得对应于正常电路和有缺点的电路。在测试 BDD,导致标记 1 的叶节点的每项输入任务是多重差错的测试向量。因此,多重差错的测试集合被在测试 BDD 寻找输入任务的类型产生。一
其他文献
黄铁矿结构的二硫化铁(FeS2)是一种具有合适的禁带宽度(Eg≈0.95eV)和较高光吸收系数(当λ≤700nm时,α=5×105cm-1)的半导体材料,而且其组成元素在地球上储量丰富、无毒
在泥蚶(Tegillarca granosa Linnaeus)体液中发现有凝集素存在.利用14种天然或经酶处理的动物和人红细胞来测定泥蚶体液凝集素的凝集活力,并且进行糖(200 mmol·L-1)抑制
本文结合本馆数字化资源建设的具体经验,阐述了高校图书馆特色专题数据库建设的必要性及专题数据库建设所应遵循的原则、专题数据库的内容及其具体实施措施。
元数据服务的可靠性和高效对店建筑学关键。一个二水平的元数据服务器文件系统(TTMFS ) 的一个新奇图案被介绍,它高表现可靠性和性能。集中的管理和分布式的管理在我们的设计
应用完全非负矩阵类中的Hadamard中心的性质,我们推广了由T. L. Markham对振荡三对角矩阵的Hadamard乘积的Oppenheim严格不等式.
本文给出了若干族新的紧优和几乎紧优的有向双环网络无限族.
本研究采用新台糖25号蔗株茎尖培养出绿苗和茎梢嫩叶诱导出愈伤组织,再分化出绿苗的方法,快速成功培育出了大批量绿苗.试验表明茎尖培养用MS+6-BA 2.00mg.L^-1+NAA 0.3mg/L^-1附加
本文探讨了“数据结构”这门课程的研究和教学内容,从实际角度出发,介绍了该课程教学的若干方法和体会,利用现代教学手段以提高该门课的教学效果,促进学生对所学知识的理解和综合
1IntroductionLetHbearealHilbertspacewithinnerprod-uct〈,〉.TheefectivedomainofTisD(T)={u|u∈H,Tu≠}.AmultifunctionT:H→2Hsatisfie...