说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 判决图
1)  Justment graph
判决图
2)  binary decision diagram
二叉判决图
1.
Random simulation and binary decision diagrams (BDDs) as well as Boolean satisfiability (SAT) are often used as the engines of equivalence checking algorithms together.
为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。
3)  binary decision diagram
二元判决图
1.
A new algorithm of computing network reliability by using binary decision diagrams(BDD) is presented.
在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法。
4)  BDD
二叉判决图
1.
The BDD propogation and Circuit-based SAT Solver are applied in an intertwined manner to reduce the space of the miter circuit.
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 。
2.
The combinational equivalence check-ing methods based on binary decision diagram(BDD)are dis-cussed,the false negative problem during equivalence checking and its eliminating methods are analyzed.
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法,实验结果表明了该方法的有效性。
5)  induced justment graph
导出判决图
1.
Based on the justment graph,the orientation and induced justment graph is defined.
在已有的判决图的基础上,定义了方向性及导出判决图,找到了一个判断布线问题中的1-嵌入问题是否有解的准则和基于此判别准则的算法,并在此基础上进一步研究了禁用构形,找到了1-嵌入问题有解的另一个判别准则。
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种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分。
补充资料:图的减缩图(或称图子式)


图的减缩图(或称图子式)
minor of a graph

图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G,,GZ,…,则存在指标i
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条