Logic Synthesis and Verification Algorithms

Logic Synthesis and Verification Algorithms - Gary D. Hachtel