...- 核心期刊 ISSN : 1006-2467(2002)03-0319-04 逻辑验证和综合中,布尔匹配利用有序二叉判定图(Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等.
基于4个网页-相关网页
布尔表达式的表示方法我们使用有序二叉判定图（OrderedBinary DecisionDiagram，oBDD）。有序二叉判定图最早是由R。
基于2个网页-相关网页
用有序二叉判定图
Use an ordered binary decision graph
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动