Computer design aids for VLSI circuits - Antognetti, P.; Pederson, Donald O.; De Man, Hugo (Nijhoff, 1986)