Logic Synthesis and verification algorithms - Gary D. Hachtel (Boston: Kluwer academic publishers, 1996)
Keywords: Logic Synthesis and verification algorithms