694ページのユーザーマニュアル。
一章だけで、250ページもあります。
3章にOpenCL APIを使ったテストベンチの記述方法があります。
引用 Vivado HLS synthesizes an OpenCL API C kernel. However, it cannot use the remaining OpenCL API C code, typically referred to as the host code, as the design test bench. Instead, Vivado HLS uses a standard C test bench to verify the OpenCL API C kernelにあるように、一般的なOpenCLのホストコードではないようです。
Vivado HLSを使った事例は、FPGAの部屋にいっぱいアップされています。
v2014.4とv2015.1では、残念ながら最新のv2015.1の方が悪い結果になっているようです。