Improvements to combinational equivalence checking (2006)

by A Mishchenko, S Chatterjee, R Brayton, N Een
Venue:In Computer-Aided Design, 2006. ICCAD ’06. IEEE/ACM International Conference on