Initial support for Vivado HLS back end