Combinational equivalence check based on recursive learning

• 基于递归学习的组合电路等价性检验方法研究