Proceedings of the 4th International Workshop on Hardware/Software Co-Design