利用FAN算法进行组合电路的等价性检验  

Equivalence Checking for Combinational Circuits with FUN Algorithm

作　　者：曾琼[1] 

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

出　　处：《计算机应用研究》2006年第12期25-27,共3页Application Research of Computers

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

摘　　要：讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm. We check equivalence of combinational circuits with FUN algorithm, and experimental results show that FAN algorithm is efficient.

关 键 词：等价性检验 ATPG D-算法 PODEM算法 FAN算法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]