Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design