DAC proceedings of the 46th Design Automation Conference : July 26-31, 2009, Moscone center, San Francisco, CA, USA (Association for Computing Machinery, 2009)