Computer aided logical design With emphasis on VLSI - Hill Frederick J.; Peterson Gerald R. (Wiley, J., 1993)