Electronic Design Automation Frameworks: Proceedings of the fourth International IFIP WG 10.5 working conference on electronic design automation ... in Information and Communication Technology)