组合电路等价性检验方法研究  

Research on Combinational Circuits Equivalence Check Method

作　　者：曾琼[1] 闫炜[1] 

机构地区：[1]中国科学院成都计算机应用研究所

出　　处：《计算机工程》2007年第4期253-255,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60373113);国家"973"计划基金资助项目(2004CB318000)

摘　　要：分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。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.

关 键 词：等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]