
有序二叉决策图的研究和应用
5星
- 浏览量: 0
- 大小:None
- 文件类型:PPT
简介:
有序二叉决策图(OBDD—Ordered Binary Decision Diagram)是一种规范的形式,它不仅能够有效表示布尔函数,还能作为新的数据结构使用。基于OBDD的运算方法具有显著的效果,并可被视为一种新的抽象数据类型。在VLSI逻辑综合和验证领域,OBDD的应用取得了显著成果,因而受到了学术界和工业界的广泛关注。迄今为止,OBDD技术已取得长足的进展,并且已取得大量研究结果。
全部评论 (0)
还没有任何评论哟~


