Xilinx Vivado High Level Synthesis: Case studies | IET Conference Publication | IEEE Xplore