一种新型二元判定图器件和电路

提出了一种基于二元判定图(BDD)原理的新型逻辑器件和电路．BDD器件以电流模式的开关电流存储器为基本单元，具有符合二元判定图的两向通路的特点．用这种器件按照BDD树形图可以构成任意形式的组合逻辑电路．给出了或门、异或门及四位加法器电路的例子，并使用HSPICE仿真器进行了仿真，验证了这种器件及其电路的正确性．     

时序电路的状态验证研究与设计

采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.     

面向多输出电路的BDD拼接构造

二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。     

结合二叉判决图和布尔可满足性的等价性验证算法

本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术.算法是在与/非图AIG中进行推理,并交替使用BDD扩展和基于电路SAT解算器简化电路.如尚未解决,将用基于合取范式SAT解算器进行推理.与已有算法相比主要有如下改进:在AIG中结合多种引擎进行简化,不存在误判可能;充分利用了基于电路解算器和基于合取范式解算器各自优点,减小了SAT推理的搜索空间.实验结果表明了本算法的有效性.     

自动化技术、计算机技术

TP112005061345基于遗传禁忌混合策略的二叉判定图最小化算法研究/王明全,于海斌(中国科学院沈阳自动化研究所)//信息与控制.―2005,34(2).―142～146.提出了一种新的动态启发式二叉判定图(BDD)最小化算法,该算法将遗传算法的全局搜索能力和禁忌搜索的邻域搜索策略相结合来寻找BDD的最优变量排序,以实现BDD结点规模最小化。实验结果表明该算法性能优于其它启发式算法。图2表1参10TP132005061346不确定混沌系统的直接自适应神经网络控制/谭文,王耀南(湖南科技大学信息与电气工程学院)//模式识别与人工智能.―2005,18(1).―12～16.提出…     

各种规模集成电路

Y2002-63059-173 0210706标准二元决策图基础上的K次阅读二元决策图的实现=Implementation of read-k-time BDDs on top of stan-dard BDD package〔会,英〕/Gunther,W.& Drechsler,R.//2001 IEEE the 14th International Conference onVLSI Design.-173～178(E)     

单电子晶体管全加器电路设计

基于单电子晶体管(SET)的I-V特性和二叉判别图数字电路的设计思想,改进了二叉判别图(BDD))单元,得到了一类基本逻辑门电路,进而提出了一种由11个BDD)单元即22个SET构成的全加器电路单元。SPICE宏模型仿真结果验证了设计的正确性。     

网络可靠性BDD分析中选择最优启发式边排序策略

网络可靠性二元决策图(BDD)分析方法的计算复杂度与BDD的尺度大小密切相关,而BDD的尺度大小取决于边排序策略。由于边排序问题是一个NP-完全问题,没有形式化的准则可为工程网络选择一个较好的启发式策略。文章中,使用基于边界集概念的启发式策略选择方法,为网络可靠性BDD分析做出了新的贡献。实验研究表明,所使用的选择方法可以使大部分的研究案例生成高性能的边排序,进而可以高效地实现基于BDD的大型网络可靠性分析。     

改进符号化模拟电路仿真器的启发式符号排序

基于二分决策图(BDD)的符号化仿真器性能很大程度上依赖于符号排序.现对一个基于拓扑的符号化模拟电路仿真器的符号排序进行了研究,提出了一种根据电路功能模块对符号排序的启发式排序方法.测试表明该启发式符号排序方法明显比随机排序仿真具有更快仿真速度.     

使用布尔可满足性的组合电路等价性验证算法

该文提出了一种使用布尔可满足性SAT的新颖组合电路等价性验证技术。算法是在联接电路(Miter circuit)中进行推理来简化验证问题,推理中使用了与／非图结构简化、BDD扩展、隐含学习多种方法,最后使用有效SAT解算器zChaff解决验证任务。该算法综合了BDD和SAT的优点,限制BDD构建大小避免了内存爆炸,推理简化减小了SAT搜索空间。ISCAS85电路实验结果表明了本算法的有效性。