A source-level dynamic analysis methodology and tool for high-level synthesis | IEEE Conference Publication | IEEE Xplore