Vivado
is the integrated development environment (IDE) for all Xilinx FPGA's.
ARM Cortex-A9 MPCore
amd_vivado_installation_und_lizenzierung.pdf
XADC LogiCORE IP
Excellent article about Zynq7000 performance