Instrumenting Bitstreams for Debugging FPGA Circuits | IEEE Conference Publication | IEEE Xplore