二元判定图相关论文
采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的......
逻辑模拟可分为二部分：排除和求值。后者在逻辑模拟过程中要进成千上万次。为减少模拟时间，采用二元判定图描述各种集成电路的逻辑功......
Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (G......
逻辑模拟可分为两部分:排队和求值。后者在逻辑模拟过程中要进行成千上万次。为减少模拟时间,我们采用二元判定图描述各种集成电路......
不断地与集成电路的复杂性正在增加，在电路的一个本地缺点可以引起多重差错。有一个多重差错的一个数字电路的行为可以显著地不同于......
逻辑布尔函数在数字电路的设计与测试、计算机科学、人工智能等领域有广泛的应用.二元判定图是逻辑布尔函数的一种有效表示方法,它......
测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对......
布尔函数是数字系统与计算机科学等领域的基础,有广泛的应用.本文对布尔函数的二元判定图表示方法进行了详细讨论,说明了基于布尔......
提出了一种基于二元判定图(BDD)原理的新型逻辑器件和电路．BDD器件以电流模式的开关电流存储器为基本单元，具有符合二元判定图的两向......
Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Faul
The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications ......
布尔函数在计算机科学和数字电路与系统的设计中有着广泛的应用,本文研究对布尔函数进行表示和操作的二元判定图方法,对其中的ite......
本文详细分析了二元判定图的基本特征，研究了影响ＢＤＤ大小的主要因素－变量的排序问题，基于多输出电路的重叠输入变量段，作者提出局部变量的......
Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. T......
作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性。随着应用领域的不同,BDD的节点......
采用二元判定图（ＢＤＤ）作为工具来描述时序电路是非常有意义和有效的，本文通过对ＢＤＤ的简化达到对状态变换图（ＳＴＧ）输入，路径和状态的压缩，从而提高状态......
二元判定图的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点，以标准门的ＢＤＤ为基础，从原始输入到输出，通过逐级拼接，极有......
基于模型检验的规划是当今通用的规划研究的热点，其求解效率比较高。详细阐述了基于模型检验的规划的发展与研究现状。介绍了基于模......
