Văn bản này: Proceedings - Design Automation Conference.