Proceedings of the 46th Annual Design Automation Conference (Association for Computing Machinery, 2009)