Синтезатор - моделятор, Чем? Опции

[RHnd]

Не ругайтесь, если вопросы совсем глупые, но, пройдясь по прикрепленным топикам и немного поискав, ответа я не нашел. Кто чем пользуется для моделирования/синтеза? Что лучше, чем и для каких задач? Ставить ModelSim, Leonardo Spectrum или еще на какие программы посмотреть? Опыта пользования - ноль, не считая самого квартуса. Подскажите, пожалуйста!

PS: Кстати, не нашел толковой литературы по verilog. По VHDL ее много (в смысле линков на форуме), по verilog - существенно меньше. Хотелось бы обрести какой-нибудь Verilog Reference Manual. Заранее спасибо.

[torik]

Вдогонку пару тыщ вопросов

Помню в универе "игрались" в этот Matlab/Simulink, но как связать это с Квартусом (или не надо связывать)... Как я понял ModelSim позволяет протестировать Verilog программы с помощью тесбенчей или как-то еще, но как им пользоваться конкретно?

Вот значится так... быть какая РУССКОЯЗЫЧНАЯ КРАТКАЯ (можно и обшырная) литературка для начала, а далее, ясен пень аглицкая хорошо понятная с картинками и простыми фразами???