Proceedings of the 43rd annual Design Automation Conference
ACM Digital Library