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