Proceedings of the 7th Design Automation Workshop