Computer design aids for VLSI circuits - Antognetti P Ed. (Hague Martinus Nijhaff pub, 1984)