二叉决策图在逻辑综合中的应用

• 作者: 邱建林
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: 二叉决策图 无扇出电路 重复变量 有序二叉决策图
• 年，卷（期）: 2002,（1）
• 所属期刊栏目: 理论与算法研究
• 页码范围: 39-42
• 页数: 4页
• 分类号: TP301.6
• 字数: 2926字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2002.01.013

摘要

二叉决策图(BDDs)是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域.在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换.本文提出一个转换的方法.文中分两步叙述,首先是对无扇出电路的转换,然后是对有扇出电路的转换,最后把两者结合为一个通用算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邱建林	南通工学院信息工程系	22	66	4.0	7.0