The Synergy between Logic Synthesis and Equivalence CheckingR. BraytonUC BerkeleyThanks to SRC NSF California Micro Program and industrial sponsors Actel Altera Calypto Intel Magma Synplicity Synops