[an error occurred while processing this directive]
Если в Quartus приличный синтезатор Верилога, то тогда Quartus+Modelsim выглядит наиболее приемлемо. Тем более, что ModelSim при при покупке Quartusa тоже дают.
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)