Using shadow pointers to trace C pointer values in FPGA circuits | IEEE Conference Publication | IEEE Xplore