Integration of High-Level Synthesis in ESL Platform Modeling by Automated Generation of Protocol Adapters