The combinational equivalence check methods based on recursive learning algorithm are discussed.

• 并讨论了基于递归学习的组合电路等价性检验方法；