Debugging methodology for a synthesizable testbench FPGA emulator | IEEE Conference Publication | IEEE Xplore