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

[RHnd]

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

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