Computer-Aided Design, International Conference on (ICCAD '93) (IEEE Computer Society Press)