Testing framework for on-board verification of HLS modules using grey-box technique and FPGA overlays | Publicación