это так?

то есть в честном Web Edition-ском проекте NIOS будет работать пока JTAG подключен?

если не так, то где-нибудь об этом подробно написано?

да. подробности тут Licensing for the Nios II Processor

ну или лицензировать народным способом.

Какие хитрые люди.
А я прочитав строчку из сравнения платной и бесплатной версии
"System designsoftware
Nios II Embedded Design Suite
Free for both versions of Quartus® II software"
грешным делом было решил, что начиная с 9ой версии квартуса ниос доступен бесплатно.

имеется в виду среда разработки - она бесплатная, да. а корка - увы.

Ну, если по честному, то лицензия на ниос стоит смешных денег (пятьсот с копейками баксов за бессрочную роялити-фри лицензию).
К тому же у альтеры имеется куча специальных предложений - типа того, что покупаешь квартус - получаешь в придачу лицензию на ниос.Или покупаешь ниосовский кит - получаешь в придачу ниос, эзернет, DDR и еще чего-то там (подробности по предолжениям и срокам их проведения см. на альтеровском сайте).
А если по нашему, то лечится на раз

Давно хотел спросить. Как раз тема почти об этом. Предположим, есть плата с Циклоном, с EPCSкой, которая загружается и что-то делает. JTAG на схеме доступен.
Вопрос - можно ли каким-либо образом однозначно проверить - содержится ли в конфигурационной информации ядро NIOSII? Ну и прочие IP-функции...

Никак Вы это не проверите.

Последние новости долины по поводу лицензирования NiosII.
Начиная с v9.1 (которая ожидается в начале ноября) ядро NiosII Economy будет бесплатным.
Ядра Standard и Fast по прежнему будут требовать лицензирования.

Теоретически, если сам исполняемый код nios'а содержится в EPCS как в адресуемом по SPI, флеш устройстве, можно по характерным бинарным паттернам определить что это код именно nios'а. то что fpga конфигурация содержит сам nios определить, думаю, будет очень трудно

приблизительно также трудно как и найти бинарный паттерн в ECPS-е
структура соединений (нетлист) для ядра известен - "как бы 2D" поиск по нетлисту (который, можно предположить, Альтера сумеет восстановить из прошивки)

мне кажется, что теоретической проблемы найти по "фингерпринту" то или другое IP в FPGA не существует - нужно ли это кому-нибудь практически - в этом вопрос

UPD: стоит упомянуть о существовании средств формальной верификации, которые определяют функциональную эквивалентность нетлистов (это против возражений типа "оптимизация изменяет нетлист и т.п.")

Имелся ввиду исполняемый код NIOS, а не его FPGA "прошивка"

мне кажется, что поиск прошивки может быть выполнен также как и поиск исполняемого кода, но потребуется (скорее всего) более сложный механизм проверки "патерна"