Advanced Methods in Logic Synthesis and Equivalence Checking