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