よーく内容をチェックしたら、ハードウェアではなく、ソフトウェアとしてOpenCLをサポートすると。
引用
Software Engineers:
Software-based system realization with C/C++ and OpenCL
Hardware-based virtualization with QEMU and Cadence
System Engineers:
Model-based design with MathWork’s Simulink
Platform-based design with National Instruments CompactRIO controller and LabVIEW
Hardware Engineers:
C-based IP generation with Vivado High-Level Synthesis
Block-based IP Integration with Vivado IP Integrator
ZynqのARM上で動作する処理系を提供するということなのでしょうかね？
検証、Verification、FPGA
