Logic Synthesis And Verification Algorithms