Я был неправ. Всё наоборот.
Есть несколько симуляторов — Ментора, Кэйденса и Синопсиса (дома софта нет, а так точно не помню. Можете сам посмотреть, например, в $QUARTUS_ROOT/eda/sim_lib) — которые поддерживает вендор, в данном случае Альтера/Интел. Он предоставляет шифрованные сорцы, закрытые разными ключами — для каждого симулятора своими.
Засада в том, что (относительно) старый симулятор, который всем устраивает и своё дело делает, но вот зашифрованные сорцы откомпилировать не может, потому что они зашифрованы ключами из более новой версии. Приходится или симулятор обновлять, или использовать более старую версию Vivado или Quartus.
Про именно альтеровскую редакцию Моделсима не скажу, я всегда пользовался Моделсимом имени Ментора.
