Есть система, содержащая Nios. Мне необходимо прошить в EPCS как прошивку самой альтеры, так и программу для процессора.
В command shell делаю так:



Во-первых, как будет правильно делать verify:

или

?
В первом случае у меня создалось впечатление, что программирования не происходит, только проверка. Правильно ли я понял?

Во-вторых, возникает проблема - ошибка верификации (на рисунке).
Верификацию сперва не делал вовсе, но после прошивке EPCS не происходит даже конфигурирования альтеры, поэтому решил делать verify (а когда просто .sof льешь, так и процессор начинает работать, т.е. его прога в EPCS заливается нормально).
Первый вывод, который напрашивается - сдохла EPCSка. Однако, у меня сомнения - при прошивке чисто файла .jic конфигурирование альтеры происходит (естественно, программа ниоса не работает).

Как выяснить реальную причину?