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