This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of FAN algorithm.

• 摘要讨论了组合电路的等价性检验方法，分析了FAN算法的关键技术。