Logic Synthesis and Verification Algorithms by Hachtel