Jeffrey B. Goeders, Steven J. E. Wilton: Using Dynamic Signal-Tracing to Debug Compiler-Optimized HLS Circuits on FPGAs. FCCM 2015: 127-134