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