Improvements to combinational equivalence checking (2006)

by Alan Mishchenko , Satrajit Chatterjee , Robert Brayton
Venue:Proc. ICCAD '06
Citations:43 - 19 self