An integrated debugging environment for FPGA computing platforms | IEEE Conference Publication | IEEE Xplore