Sequential equivalence checking based on K-th invariants and circuit SAT solving

Submitted by superuser on Mon, 04/06/2015 - 21:08

F. Lu and Cheng, K. - T. Tim, “Sequential equivalence checking based on K-th invariants and circuit SAT solving”, in High-Level Design Validation and Test Workshop, 2005. Tenth IEEE International, 2005, pp. 45–51.