![]() |
![]() |
Man Page | Content-type: text/html; charset=UTF-8
VRQSection: User Commands (1)Updated: September 2019 Index Return to Main Contents NAMEVrq - manual page for Vrq 1.0.134,SYNOPSISvrq [,options/] ,<file1> /[,<file2>/...]DESCRIPTION'Vrq' is a framework for creating verilog based tools.OPTIONS
* 'builder' Options
* 'coverage' Options
* 'dump' Options
* 'filter' Options
* 'rectify' Options
* 'sim' Options
* 'xprop' Options
AUTHORREPORTING BUGSReport bugs at <http://sourceforge.net/projects/vrq>COPYRIGHTCopyright © 1997-2009 Mark HummelVrq comes with ABSOLUTELY NO WARRANTY; This is free software, and you are welcome to redistribute it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
IndexThis document was created by man2html, using the manual pages. Time: 23:57:43 GMT, September 01, 2019 |
Frequently Asked Questions |
Table of ContentsFrequently Asked QuestionsWhat license is VRQ released under?VRQ is released under the GPLv2 license. Currently all the include plugins are GPLv2 as well, however this many not remain the case as any compatible license would be allowed.Does that prohibit me from using verilog code processed by VRQ in commercial products?Absolutely not! The intent is provide a useful tool an framework the all may to create HW for commercial, educational or personal benefit.Can the VRQ lex, parser, etc be included in a commercial SW product?No VRQ is released under the GPLv2 license and its terms of use must be met. However it is possible to supply VRQ under a different license, please contact the author for details.Can I write a plugin tool? Is there documentation available regarding the tool API and VRQ internals?You can certainly write a tool, there have been others who have. However at this time there is no documentation other than the source code to help with this. If you wish to do so the file node.h contains the parse tree node descriptions. Also using one of the existing plugin tools as a template can be most helpful.Does VRQ support the entire Verilog 2005 standard?Not completely. There are a few small things like the library constructs that are not currently supported. Note however some of the tools are less complete. For instance the sim tool is based upon the VeriWell source code which only supports a subset of Verilog 1995.Does VRQ support System Verilog? If not will it in the future?Currently VRQ does not support System Verilog constructs. Over time support will be added.Can the output of one tool be used as the input to another?Yes. You can use multiple -tool switches on the command line. The output of one tool will be pipelined into the input of the next. |
Plugin List | |
Quick Start | |
How to Build a Plugin | Vrq plugins are independently compiled as standalone DLLs |
Example Plugin | This example plugin searches the parsed code and finds register and net declarations and references |
Example Plugin | This example plugin converts all procedural if statements to case statements |
Dump Plugin | The dump tool emits the parsed and processed parse trees back in to verilog |
Xprop Tool | The xprop tool is specified using the -tool xprop switch on the command line |
Xprop Rational | Xprop is a tool that instruments verilog code such that x's are propagated and not squashed |
Parse Tree Nodes | List of all parse tree nodes |
Filter Plugin | The filter tool edits the parse trees, selectively deleting nodes based on a filter specification that is supplied by command line switches |
Rectify Plugin | The rectify tool edits the parse trees replacing 'x' bits in constants with a default value of 0 or 1 |
Todo List |