1) bipartite graph decision
二部图判定
2) T heory of Bipartite Graph
二部图的判定
3) BDD
二叉判定图
1.
Author presents the design of MCML standard cell based on the BDD Algorithm.
分析了一种基于二叉判定图算法的MCML标准单元的设计方法。
2.
The methods to structure the BDDs of outputs are discussed,and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed.
本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;然后给出了一种基于BDD的组合电路等价性检验方法。
4) binary decision diagram(BDD)
二叉判定图
1.
A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
5) Binary decision diagram
二叉判定图
1.
： This paper analyzes the formal verification ／synthesis system VIS，and expands the key technology－binary decision diagram to timed binary decision diagram in order for expressing timing properties of circuit，with the pupose of verifying some real－time properties of circuits
文章在分析形式化验证／综合系统VIS 的基础上，改进了该电子系统中的关键技术——二叉判定图（BDD），使BDD能表示电路的定时性质，这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
6) local BDD
局部二叉判决图
1.
It was a filter-like method,where random simulation was used to do quick mapping,and local BDD and target simulation were alternatively used to do further mapping.
该算法结合任意模拟、局部二叉判决图、目标模拟3种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分。
补充资料：二部图
二部图
graph, bipartite
二部图[，户，饰耐扭;印a中月明。业“l，平色甲(bicb印11以tic脚ph) 一个图，它的顶点集V可以分拆为两个不相交集V‘和v。(即v=r Uv‘，v’门V”=必)，使它的每一边都连结V‘的一顶点与V“的一顶点.一个图是二部图，当且仅当它的简单圈都有偶数长.二部图的另一常用的定义是图中两个顶点子集V‘和V“(苹分(part》已先给出.二部图适合于表示两种不同类型元素间的二元关系.例如，一个给定集合的元素与它的子集之间有元素属于子集的“成员关系”，对于执行者和工种有“某执行者能实施某工种”的关系等. 关于二部图的一个重要问题是研究匹配(InatCh-吨)，即两两不邻接的边的丛二这昼的回矍出理查翌如排时间表的理论(把二部图的边分拆成最少个数的不相交匹配)，分派问题(求一匹配中元素的最大数)等之中.二部图中最大匹配的基数是 }V‘1一扛以x(}A‘1一}V“(A’)1)， 通’任F厂式中V”(A’)是V”中至少与A‘的一个顶点相邻的顶点数·字拿于部甲(“〕mpletebin咖te脚ph)是分属不同子集的任意两个顶点恒有边相连的二部图(如图凡，3，见可平面图(脚ph，ph斑江)，图l)、二部图概念的一个推广是k部甲(k一partite graph)概念，即一个图的顶点集分拆为k个子集，使得每边所连接的两顶点分属不同子集.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条