... 盘状浮游生物 discoplankton 蹒跚病 turnsick 判定图 critical diagram ...
基于20个网页-相关网页
通过reduce操作，就把0BDD压缩成 压缩排序二值判定图（ROBDD），是一种布尔函数的规范式。 与真值表、DNF、cNF相比，一般情况下，ROBDD所用的 存储空间比较少，进行布尔运算效率高（如不强调，...
基于8个网页-相关网页
在算法的实现过程中,引入了Hash函数和BDD(二叉判定图,Binary Decision Diagram),通过Hash函数和BDD的运用,很大的提高了系统的效率,最后通过实例分析了系统的效率和可行性。
基于4个网页-相关网页
在算法的实现过程中,引入了Hash函数和BDD(二叉判定图,Binary Decision Diagram),通过Hash函数和BDD的运用,很大的提高了系统的效率,最后通过实例分析了系统的效率和可行性。
基于2个网页-相关网页
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
本文利用二叉判定图提出了对功能级数字电路的一种测试产生方法。
Using Binary Decision Diagrams, this paper proposes a test generation method for functional level digital circuits.
在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。
In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.
应用推荐