Proceedings of the 12th Design Automation Conference