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