2012 Design Automation Conference