Программы vrq.sf.net/

vrq является verilog parser, который поддерживает плагин инструменты для обработки verilog. Текущие плагины включают в себя инструменты для выполнения x-распространения и автоматического построения hiearchy.