Proceedings of the 7th international symposium on High-level synthesis