Electronic Design Automation Frameworks Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation frameworks | EKB DL