Proceedings of the 2005 IEEEACM International conference on Computer-aided design
ACM Digital Library