Logic Synthesis Using Synopsys - Kurup, Pran; Abbasi, Taher (Springer US, 1997)