Logic synthesis using Synopsys - Kurup, Pran (Kluwer Academic, 1997)