An effective and efficient ATPG-based combinational equivalence checker. - Ronald P. Lajaunie; Michael S. Hsiao (ACM Great Lakes Symposium on VLSI, 2005)