Logic Synthesis Using Synopsys, Second Edition door Pran Kurup