Создал проект с процессором MicroBlaze + свой код на Verilog + ChipScope, назначил ему ELF файл. Всё работает. Xilinx SDK (Eclipse) позволяет обновлять инициализацию BRAMин с кодом прошивки для MicroBlaze - удобно и быстро.

Проблема: стоит только переделать немного Verilog-часть, перекомпилить и понимаю что не работает больше обновление прошивки из SDK... Вижу что system.bit старый файл, а export to sdk - не меняет его разумеется. Приходится пересоздавать Xilinx Hardware Platform Specification, хотя там указал что использовать не тот bit файл что идет из XPS или ISE. В общем, когда прошиваю новый ELF файл из SDK (Program FPGA) и указываю там новый bit файл и *_bd.bmm файл - прошивка не стартует.

ЗЫ
Ubuntu Linux 12.04 64-bit + KDE 4.8.3, ISE System Edition 13.3.