Improvements to combinational equivalence checking (2006)

by A Mishchenko, S Chatterjee, R Brayton, N Een
Venue:ICCAD