在算法的实现过程中,引入了Hash函数和BDD(二叉判定图,Binary Decision Diagram),通过Hash函数和BDD的运用,很大的提高了系统的效率,最后通过实例分析了系统的效率和可行性。
基于18个网页-相关网页
带时间参数二叉判定图 TBDD
有序二叉判定图 ordered binary decision diagram
用有序二叉判定图 Ordered Binary Decision Diagram ; OBDD
基于有序二叉判定图 OBDD ; OrderedBinaryDecisionDiagram
And in this article, proposed a new method to deal with the typical RC tree circuit by combining BDD (Binary Decision Diagram) algorithm and topology. By using this method, one could get each order moments fast and accurately.
本文针对典型的RC树状电路,通过与二叉判定图算法(BDD)和图的拓扑结构的研究,提出了一种精确快速得到电路各阶矩量的方法,从而提高了模型降阶技术的效率。
参考来源 - 树状RC电路的符号化矩量计算与时序估计应用·2,447,543篇论文数据,部分数据来源于NoteExpress
提出了一种新的动态启发式二叉判定图(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.
应用推荐