Combinational techniques for sequential equivalence checking.

Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton

Browse the full FMCAD paper archive.