| 二叉决策图在逻辑综合中的应用 |
| |
| 引用本文： | 邱建林.二叉决策图在逻辑综合中的应用[J].微机发展,2002,12(1):39-42. |
| |
| 作者姓名： | 邱建林 |
| |
| 作者单位： | 南通工学院信息工程系 江苏南通226007 |
| |
| 基金项目： | 南通工学院自然科学基金资助项目 |
| |
| 摘 要： | 二叉决策图（BDDs）是布尔函数的一个表示方法，最近它被广泛于逻辑综合、布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。本文提出一个转换的方法。文中分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。
|
| 关 键 词： | 逻辑综合 二叉决策图 布尔函数 数据结构 |
| 文章编号： | 1005-3751(2002)01-0039-04 |
| 修稿时间： | 2001年5月7日 |
Binary Decision Diagrams Used in the Synthesis Simulation |
| |
| QIU Jian,lin.Binary Decision Diagrams Used in the Synthesis Simulation[J].Microcomputer Development,2002,12(1):39-42. |
| |
| Authors: | QIU Jian lin |
| |
| Abstract: | Binary decision diagrams(BDDs) are representations of Boolean functions.It is widely used in the synthesis simulation and testing of Boolean circuits.In all these applications of BDD's,solutions to some fundamental computational problems are needed.We present a method for the transference from Boolean circuits into BDDs.We explain the program in two parts:transference for fanout free circuit and then for circuits with fanout points.Finally we combine both into a general algorithm. |
| |
| Keywords: | Binary Decision Diagrams(BDDs) Fanout Free Circuit Repeated Variable Ordered BDDs |
| 本文献已被 CNKI 维普 等数据库收录！ |
