Computer aided logical design with emphasis on VLSI / - Hill, Fredrick J. (Wiley, 1993)