SDAccel Environment Debugging Guide The SDAccel Environment Debugging Guide (UG1281) is available on the Xilinx website at this link.