Proceedings of the 47th Design Automation Conference