Proceedings of the 40th annual Design Automation Conference