Logic synthesis using Synopsys - Kurup, Pran; Abbasi, Taher (Kluwer, 1995)