【有序二叉判定图】

有序二叉判定图

ordered binary decision diagram

...有序二叉判定图 [gap=1088]Key words:communication network; network reliability; common cause failure; ordered binary decision diagram ...

基于32个网页-相关网页

短语

用有序二叉判定图 Ordered Binary Decision Diagram ; OBDD

基于有序二叉判定图 OBDD ; OrderedBinaryDecisionDiagram

有序二叉判定图

Ordered binary decision graph

以上为机器翻译结果，长、整句建议使用人工翻译。

在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。

In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句