Xilinx ML507 Quick Start Manual page 26

References
 Virtex-5
– Virtex-5 FPGA Family
http://www.xilinx.com/products/virtex5/index.htm
 Platform Studio
– Embedded Development Kit (EDK) Resources
http://www.xilinx.com/tools/platform.htm
– Embedded System Tools Reference Manual
http://www.xilinx.com/support/documentation/sw_manuals/xilinx12_1/est_rm.pdf
– EDK Concepts, Tools, and Techniques
http://www.xilinx.com/support/documentation/sw_manuals/xilinx12_1/edk_ctt.pdf