Proceedings of the conference on European design automation
ACM Digital Library