Keywords Satisfiability problem;Sequential equivalence checking;Formal verification;

• 可满足性问题;时序电路等价验证;形式验证;