1) Timed Binary Decision Diagram (TBDD)
带时间参数二叉判定图(TBDD)
2) timed binary decision diagram
实时二叉判定图
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) Ordered binary decision diagram
有序二叉判定图
补充资料：清代刺绣《金带图图轴》
清代刺绣《金带图图轴》 清代刺绣精品。上海博物馆珍藏。江苏昆山赵慧君绣制。绣轴花纹为折枝芍药，占整幅五分之一，其余均为题词印章。画韵针神，可称双绝。用擞和针绣制晕色的红花、绿叶和花梗，线细为二丝（一根花线的十二分之一称一丝）。用齐针绣字和印章，绣字用线一丝到一丝半，绣印章用线更细。工精线细，运针纤理舒展。淡红色花朵，加有一条金黄色的花腰，既点明了主题，又极尽艺术风采。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条