[an error occurred while processing this directive]
Не пользуюсь, но посмотрите на http://www.x-tekcorp.com/. Доступна версия пока под Verilog. Кстати, сдается мне что эти тулзы актуальны под Verilog в большей мере...
(«Телесистемы»: Конференция «Языки описания аппаратуры (VHDL и др.))