Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design