DAC proceedings 2007, 44th Design Automation Conference : June 4-8, San Diego Convention center, San Diego, CA. (Association for Computing Machinery, 2007)