Email Record: Computer design aids for VLSI circuits /