Describir: Proceedings of Euromicro Conference on Digital System Design's (DSD) Work in Progress section 2014, Verona, Italy, 2014