Download of vrq-1.0.29.tar.gz (vrq-1.0.29.tar.gz ( external link: SF.net): 1,131,127 octetos) will begin shortly. If not so, click link on the left.
vrq is verilog parser that supports plugin tools to process verilog. Current plugins include tools to perform x-propagation and to auto build hiearchy.
