У меня есть тока версия 7.0.2 и она не жадная. Однако когда компилю wrapper (работаю в Active HDL), система пишет, что библиотечный компонент имеет несовместимый формат. В менеджере библиотек посмотреть HDL код вообще нельзя, непонятно почему. Такая же тема с тестбенчем и его библиотечкой.
Насчет 7.1.1. Просил PLDA выслать мне eval, но не выслали, просят больше инфы о моем проекте. Попробую еще пообщаться с ними.