基于递归学习的组合电路等价性检验方法研究  

Combinational equivalence check based on recursive learning

作　　者：曾琼[1] 

机构地区：[1]成都信息工程学院计算机基础教学部

出　　处：《成都信息工程学院学报》2006年第4期484-487,共4页Journal of Chengdu University of Information Technology

基　　金：国家973计划资助项目(2004CB318003)

摘　　要：等价性检验方法通常包括功能性和结构性的验证方法。分析了等价性检验的一般方法;并讨论了基于递归学习的组合电路等价性检验方法;算法利用直接蕴含和间接蕴含的方法,解决了布尔可满足问题。实验结果表明了该方法的有效性和可行性。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 leaming algorithm are discussed. Both direct implication and indirect implication methods are used in this algorithm. Therefore the SAT is solved.

关 键 词：递归学习 等价性检验 组合电路 

分 类 号：TP391.6[自动化与计算机技术—计算机应用技术]