| 基于递归学习的组合电路等价性检验方法研究 |
| |
| 引用本文： | 曾琼.基于递归学习的组合电路等价性检验方法研究[J].成都信息工程学院学报,2006,21(4):484-487. |
| |
| 作者姓名： | 曾琼 |
| |
| 作者单位： | 成都信息工程学院计算机基础教学部,四川,成都,610225;中国科学院成都计算机应用研究所,四川,成都,610041 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法；并讨论了基于递归学习的组合电路等价性检验方法；算法利用直接蕴含和间接蕴含的方法，解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。
|
| 关 键 词： | 递归学习 等价性检验 组合电路 |
| 文章编号： | 1671-1742(2006)04-0484-04 |
| 修稿时间： | 2005年9月13日 |
Combinational equivalence check based on recursive learning |
| |
| ZENG Qiong.Combinational equivalence check based on recursive learning[J].Journal of Chengdu University of Information Technology,2006,21(4):484-487. |
| |
| Authors: | ZENG Qiong |
| |
| Abstract: | The equivalence check usually includes both functional and structural verifications.A general equivalence check method is analyzed.The combinational equivalence check methods based on recursive learning algorithm are discussed.Both direct implication and indirect implication methods are used in this algorithm.Therefore the SAT is solved. |
| |
| Keywords: | recursive learning equivalence check combinational circuit |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
