Time-Travel Debugging for High-Level Synthesis

Author(s):
Jonathan Bonsor-Matthews, Greg Law