二元判决图相关论文
以可逆加法器设计为例,论述如何利用RevKit进行可逆电路研究.首先概述RevKit的软件构架、核心功能以及所支持的输入文件格式;其次......
该文研究了二元判决图的基本理论及其在逻辑验证和VLSI测试向量自动生成中的应用,提出了一些有价值的新概念和新算法.......
数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(......
针对数字电路的测试两大难点,采用二元判决图(BDD) 表示数字电路模型,同时由BDD生成测试矢量来完成数字电路的功能测试.在由VHDL描......
在二元判廖图ＢＤＤ（ＢｉｎａｒｙＤｅｃｉｓｉｏｎＤｉａｇｒａｍ）运算包中，缓存记忆对提高ＢＤＤ的运算速度起了很大的作用本文提出了一种电路级上的动态记忆方法，它根据电路的结构进行更有目......
文中确定了Ｂｒｙａｎｔ的基于图的函数组合方法［１］的时间复杂度为Ｏ（｜Ｇ１｜２·｜Ｇ２｜），并提出了基于改进ＩＴＥ算符的函数组合方法。该方法省去了对结果二元判决图的约......
构造布尔函数的二元判决的核心是ｉｔｅ算符，文中详细介绍了ｉｔｃ算符布尔代数的基本皮及ｉｔｅｘ算符在构造ＢＤＤ中的作用和实现方法：讨论了运用哈希表，反向属......
从遗传算法入手，利用已有的几种启发式变量排序方法的结果作为最初的染色体群体，并适当加入随机变量顺序，然后按照遗传算法的方法进行......
数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成（ATPG）在数字电路的测试中占有重要地位;逻辑表达式图（Boo......
在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法.该方法将网络的最小路集用二元判决图来表示,并得到最小路集......
近年来，由于电路规模不断增大和电路功能日趋复杂，使得大规模集成电路的设计很难保证逻辑设计的正确无误。为了设计和建立高可靠性的......
随着集成电路设计规模不断增大，其出现故障的可能性也相应增加，这导致故障测试变得越来越重要。准确快速地检测出故障，可以加快电路设......
