Equivalence Checking for Combinational Circuits with FUN Algorithm
利用FAN算法进行组合电路的等价性检验*

Abstract: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.