Logic synthesis for field programmable gate arrays - Murgai, Rajeev; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto (Kluwer, 1995)