1) 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.
为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。
2) 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)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法,实验结果表明了该方法的有效性。
3) 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种方法来匹配锁存器,并使用了类似滤波器的思想,任意模拟对锁存器作初步快速匹配,提出的局部二叉判决图技术降低了发生内存爆炸的可能性,目标模拟则针对性地对锁存器作进一步的划分。
4) 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的组合电路等价性检验方法。
5) binary decision diagram(BDD)
二叉判定图
1.
A new dynamic heuristic binary decision diagram(BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
6) 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系统能够进行电路的时间特性验证和实时模型检验打下了基础。
补充资料：1,3-二硫戊环-2-叉-丙二酸二异丙酯
分子式：C12H18O4S2
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
分子量：290.40
CAS号：50512-35-1
性质：白色结晶固体。熔点50-54.5℃，沸点167-169℃（66.7Pa）。易溶于苯、醇、丙酮等有机溶剂，在20℃水中溶解度为48mg/L。蒸气压力0.015Pa。
制备方法：用丙二酸二异丙酯与二硫化碳为主要原料而制得。丙二酸二异丙酯的生产方法：氯乙酸钠与氰化钠、氢氧化钠反应，生成丙二酸钠。在硫酸存在下，丙二酸钠与异丙醇反应，生成丙二酸二异丙酯。原料消耗定额：氯乙酸（折100%）760kg/t、氰化钠（折100%）410kg/t、异化醇（折100%）220kg/t、二硫化碳（折100%）710kg/t、二氯乙烷（折100%）810kg/t。
用途：该品为内吸杀菌剂，对水稻颈瘟有特效，对稻叶瘟的防治效果亦高于稻瘟净，对稻苗瘟与小球菌核病也均有效。大面积使用还可兼治稻飞虱。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条