Enhanced source-level instrumentation for FPGA in-system debug of High-Level Synthesis designs | IEEE Conference Publication | IEEE Xplore