equal dichotomous branching
... 无假球茎的 epseudo bulbous 相等二叉 equal dichotomous branching 相等二叉分枝式 equal dichotomy ...
基于12个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在逻辑验证和综合中，布尔匹配利用有序二叉判定图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
应用推荐
模块上移
模块下移
不移动