Keywords Simulation;Formal Verification;Equivalence Checking;Binary Decision Diagrams;Boolean Satisfiability;Cut;Latch Mapping;Assume-And-Then-Verify;Symbolic Backward Justification;

• 模拟验证;形式验证;等价性验证;二叉决策图;可满足性;割集;锁存器匹配;先假设后验证;符号回溯验证;