Space Flight FPGA Firmware Design Resources

[R0B0T1CS]

I’m seeking any truly useful resources to help guide me in the development of firmware for a Xilinx FPGA to be used in a space mission. Does anyone know of good resources which might not be found through the Xilinx site?
Thanks,
R