Computer design aids for vlsi circuits by