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