| 基于BDD的组合电路等价性检验 |
| |
| 引用本文： | 李绍荣,徐玉婷.基于BDD的组合电路等价性检验[J].计算机科学,2007,34(3):293-294. |
| |
| 作者姓名： | 李绍荣 徐玉婷 |
| |
| 作者单位： | 电子科技大学光电信息学院,成都,610054 |
| |
| 基金项目： | 电子科技大学校科研和教改项目 |
| |
| 摘 要： | 本文分析了基于BDD的组合电路等价性检验；讨论了构造输出函数的二叉判定图BDD的不同方法，并分析了BDD间布尔操作的不同的算法的异同；然后给出了一种基于BDD的组合电路等价性检验方法。
|
| 关 键 词： | 等价性验证 二叉判定图 组合电路 |
An Equivalence Method for Verifying the Combinational Circuits Based on BDD |
| |
| LI Shao-Rong,XU Yu-Ting.An Equivalence Method for Verifying the Combinational Circuits Based on BDD[J].Computer Science,2007,34(3):293-294. |
| |
| Authors: | LI Shao-Rong XU Yu-Ting |
| |
| Affiliation: | College of Opto-electronic Information, UESTC of China, Chengdu 610054 |
| |
| Abstract: | This paper analyzes equivalence checking methods of combinational circuits based on binary decision diagram. The methods to structure the BDDs of outputs are discussed, and two different kinds of algorithms dealing with the boolean operations between BDDs are discussed. Then we present a equivalence method for verifying the combinational circuits based on BDD. |
| |
| Keywords: | Equivalence check BDD Combinational circuits |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
