Proceedings of the 2007 IEEEACM international conference on Computer-aided design
ACM Digital Library