Synthesis of Platform Architectures from OpenCL Programs