Здравствуйте, коллеги.

На протяжении трёх лет я занимаюсь программированием микроконтроллеров. Примерно 2,5 года назад приобрёл плату Марсоход2(Cyclone III). Но из-за отсутствия достаточного количества времени я не мог полноценно начать осваивать технологию разработки на FPGA. 8 месяцев назад у меня появилось свободное время и я начал по-тихоньку осваивать Verilog. С переменным успехом, занимаюсь самообразованием в этой области. Сами понимаете, в деле этом я профан(пока что).

К настоящему моменту, пришёл к выводу, что нужно более серьёзно заняться разработкой на FPGA и embedded Linux. Ну и для меня вырисовалось два варианта: Zynq или Cyclone V. Выбрал я Zynq, т.к. большое разнообразие недорогих отладочных плат на Zynq-7010/20.

У меня несколько вопросов:
1) Как происходит конфигурирование FPGA в Zynq? (интересует то, каким образом конфигурационный файл сгенерированный средой разработки попадает в ПЛИС и настраивает её)

2) Нужен ли для этого такой или подобный отладчик?

3) Кто-нибудь пользовался таким отладчиком и будет ли его достаточно?

4) Возможно ли менять конфигурацию FPGA на лету?