We check equivalence of combinational circuits with FUN algorithm, and experimental results show that FAN algorithm is efficient.

• 利用该算法进行了组合电路的等价性检验，实验结果表明了该方法的有效性。