I have a Xilinx FPGA project that I put together in Vivado 2014.4 (64-bit on Linux). The project uses a MicroBlaze. I've written my MicroBlaze firmware in Xilinx SDK 2015.1. My target hardware is the Digilent Nexys4DDR with a Xilinx Artix-7.
I've gone through the process of exporting my hardware design (including the bitstream) from Vivado. It was successfully imported in the SDK when I created my new firmware project. The Board Support Package also seems to have been created properly. All warnings and errors are resolved.
When I go to Xilinx Tools -> Program FPGA, I get this dialog:
I have verified that the files listed here do exist. RangeCompensator.bit and RangeCompensator.mmi are in the hardware platform specification project, and range_compensator.elf file is in the firmware project's "Binaries" folder.
When I click "Program", I get this error:
According to this post on the Xilinx forums, I shouldn't have to worry about the download.bit file if all the fields of the program FPGA dialog are populated, yet it download.bit doesn't seem to be getting generated.
How can I resolve the error during programming?