Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design - Jess, Jochen A. G. (IEEE Computer Society Press, 1994)