Proceedings of the 6th annual Design Automation Conference