| 组合电路等价性检验方法研究 |
| |
| 引用本文： | 曾琼,闫炜.组合电路等价性检验方法研究[J].计算机工程,2007,33(4):253-255. |
| |
| 作者姓名： | 曾琼 闫炜 |
| |
| 作者单位： | 1. 中国科学院成都计算机应用研究所,成都,610041;成都信息工程学院计算机基础教学部,成都,610041
2. 中国科学院成都计算机应用研究所,成都,610041 |
| |
| 基金项目： | 国家自然科学基金
,
国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 分析了数字电路等价性检验方法的基本原理，对组合电路等价性检验方法进行了综合研究，讨论了各种方法的特点，指出了各种方法的优缺点及其适用场合，总结了组合电路等价性检验方法的发展规律，指出了未来的发展方向。
|
| 关 键 词： | 等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生 |
| 文章编号： | 1000-3428（2007）04-0253-03 |
| 修稿时间： | 2006-03-13 |
Research on Combinational Circuits Equivalence Check Method |
| |
| ZENG Qiong,YAN Wei.Research on Combinational Circuits Equivalence Check Method[J].Computer Engineering,2007,33(4):253-255. |
| |
| Authors: | ZENG Qiong YAN Wei |
| |
| Affiliation: | 1. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041; 2. Department of Computer Teaching, Chengdu University of Information Technology, Chengdu 610041 |
| |
| Abstract: | This paper analyzes general equivalence checking methods, discusses combinational equivalence checking methods, studies characteristics and applications of the methods. At the end of this paper, laws of evolution of combinational equivalence checking are summarized and the direction of study on the combinational equivalence checking is indicated. |
| |
| Keywords: | Equivalence check Combinational circuits Binary decision diagram(BDD) Boolean satisfiability Automatic test pattern generation(ATPG) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
