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
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条