A run-time RTL debugging methodology for FPGA-based co-simulation | IEEE Conference Publication | IEEE Xplore