Using source-to-source compilation to instrument circuits for debug with High Level Synthesis | IEEE Conference Publication | IEEE Xplore