El programa para grabar el Xilinx esta en la web oficial de Xilinx, tienes que registrarte para poder bajarlo y se llama WebPack. Lo que no encuentro es el archivo nesesario para grabarle.