<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8"> <title>vrq: Man Page</title> <link href="doxygen.css" rel="stylesheet" type="text/css"> <link href="tabs.css" rel="stylesheet" type="text/css"> <table border="0" cellspacing="0" cellpadding="0" width="100%"> <tr> <td width="180"><a href="index.html"><img src="vrq.png" width="150" height="100" border="0" alt="vrq"></a></td> <td background="top_bg.png" align="right" width="100%"> <img src="glyth.png" width="500" height="100" border="0" alt=""> </td> </tr> <tr> <td background="#FFFFFF" align="right" width="50" height="4"></td> </tr> </table> </head><body> <!-- Generated by Doxygen 1.7.1 --> <div class="navigation" id="top"> <div class="tabs"> <ul class="tablist"> <li><a href="index.html"><span>Main Page</span></a></li> <li class="current"><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="modules.html"><span>Modules</span></a></li> <li><a href="annotated.html"><span>Classes</span></a></li> <li><a href="files.html"><span>Files</span></a></li> </ul> </div> </div> <div class="header"> <div class="headertitle"> <h1>Man Page </h1> </div> </div> <div class="contents"> Content-type: text/html <HTML><HEAD><TITLE>Manpage of VRQ</TITLE> </HEAD><BODY> <H1>VRQ</H1> Section: User Commands (1)<BR>Updated: July 2011<BR><A HREF="#index">Index</A> <A HREF="http://localhost/cgi-bin/man/man2html">Return to Main Contents</A><HR> <A NAME="lbAB"> </A> <H2>NAME</H2> Vrq - manual page for Vrq 1.0.88, <A NAME="lbAC"> </A> <H2>SYNOPSIS</H2> <B>vrq</B> [<I>options</I>] <I><file1> </I>[<I><file2></I>...] <A NAME="lbAD"> </A> <H2>DESCRIPTION</H2> 'Vrq' is a framework for creating verilog based tools. <A NAME="lbAE"> </A> <H2>OPTIONS</H2> <DL COMPACT> <DT><B>--version</B><DD> Print version <DT><B>--help</B><DD> This message <DT><B>--bindir</B><DD> Binary install path <DT><B>--libdir</B><DD> Library install path <DT><B>--pkglibdir</B><DD> Plugin install path <DT><B>--includedir</B><DD> Include install path <DT><B>--cflags</B><DD> Compiler flags used <DT><B>--ldflags</B><DD> Linker flags used <DT><B>--libs</B><DD> Libraries used <DT><B>-V</B><DD> Verbose <DT><B>-y</B> <directory><DD> Search directory for module definitions <DT><B>-f</B> <filename><DD> Read options from <filename> <DT><B>-v</B> <lib_filename><DD> Search file for module definitions <DT><B>-l</B> <filename><DD> Set log file to <filename> <DT><B>-w</B> <message>=<policy><DD> Set policy for warning <message> to <policy>; ignore, warning, error, info <DT><B>-w</B> all=<policy><DD> Set policy for all warnings to <policy>; ignore, warning, error, info <DT><B>-wl</B><DD> List all warning messages <DT>+libext+<extension><DD> Specify library suffix to <extension> <DT><B>-sv</B><DD> Enable System Verilog support <DT><B>-dump</B><DD> Dump internal tree <DT><B>-debug</B><DD> Print debug/statistics info <DT><B>-quiet</B><DD> Print minimal runtime info <DT><B>-infervectors</B><DD> Infer reg and wire vectors <DT><B>-keeptickdefines</B><DD> Best effort attempt to keep tick defines and `include statements in code (EXPERIMENTAL) <DT><B>-macrocheck</B><DD> Do not allow undefined macros <DT><B>-o</B> <filename><DD> Specify output file <DT><B>-dir</B> <directory><DD> Specify output directory <DT><B>-pragma</B> <regexp><DD> Extended regular expression template for pragma comments <DT><B>-passthru</B> <name><DD> Pass through ifdef blocks with label <DT>+incdir+<directory><DD> Specify include search path <DT>+define+<name>=<value><DD> Define `define <DT>+<name>+<value><DD> Define plusargs <DT><B>-tool</B> builder<DD> Auto route hierarchy <DT><B>-tool</B> coverage<DD> Add line coverage instrumentation <DT><B>-tool</B> dump<DD> Print verilog output <DT><B>-tool</B> filter<DD> Extract elements of hierarchy <DT><B>-tool</B> flatten<DD> Reduce to single level hiearchy <DT><B>-tool</B> rectify<DD> Replace all X constants with 0 or 1 <DT><B>-tool</B> sim<DD> Verilog simulator <DT><B>-tool</B> stats<DD> Print summary of hiearchy <DT><B>-tool</B> xprop<DD> Add X propagation instrumentation </DL> <P> * 'builder' Options <DL COMPACT> <DT>+tree_ext=<ext><DD> File extension for files to be expanded <DT>+depend=<filename><DD> Generate dependency info <DT>+builder-verbose<DD> Dump vebose log of actions </DL> <P> * 'coverage' Options <DL COMPACT> <DT> +coverage_output_file=<filename> Filename for coverage line mapping info </DL> <P> * 'dump' Options <DL COMPACT> <DT>+dump-alt-rxnor<DD> <DD>Use alternate rxnor op ^~ <DT>+dump-fps<DD> Force part selects on all vectors <DT>+dump-fvl<DD> Convert all logical ops to vector ops <DT>+dump-fcc<DD> Convert all comments to c++ style <DT>+dump-swda<DD> Split wire declaration assignments <DT>+dump-fbae<DD> Force begin/end block after event statement <DT>+dump-nns<DD> Replace null statements with begin/end pairs <DT>+dump-sabo<DD> Add spaces around binary operators <DT>+dump-ced<DD> Create explicit declarations for implicitly declared variables <DT>+dump-strip-attr<DD> strip out all attributes <DT> +dump-timescale=<timescale> emit `timescale <timescale> statements for all modules missing `timescale declarations <DT>+dump-simplify<DD> <DD>Simplify constant expressions (EXPERIMENTAL) </DL> <P> * 'filter' Options <DL COMPACT> <DT> +filter-default-policy-keep keep all element by default <DT> +filter-default-policy-delete delete all element by default (tool default behavior) <DT>+filter-comment-keep<DD> <DD>keep comment <DT>+filter-comment-delete<DD> delete comment <DT>+filter-vrq-keep<DD> keep vrq comment <DT>+filter-vrq-delete<DD> delete vrq comment <DT>+filter-pragma-keep<DD> keep program pragma <DT>+filter-pragma-delete<DD> delete program pragma <DT>+filter-instance-ref-keep<DD> keep instance reference <DT> +filter-instance-ref-delete delete instance reference <DT>+filter-gate-ref-keep<DD> <DD>keep gate instance <DT>+filter-gate-ref-delete<DD> delete gate instance <DT>+filter-task-enable-keep<DD> keep call to a task <DT> +filter-task-enable-delete delete call to a task <DT>+filter-systask-call-keep<DD> <DD>keep call to enable a systask <DT> +filter-systask-call-delete delete call to enable a systask <DT>+filter-timing-call-keep<DD> <DD>keep call to a timing task <DT> +filter-timing-call-delete delete call to a timing task <DT> +filter-function-call-keep keep call to a function <DT> +filter-function-call-delete delete call to a function <DT>+filter-enum-ref-keep<DD> <DD>keep reference to a enum <DT>+filter-enum-ref-delete<DD> delete reference to a enum <DT>+filter-type-ref-keep<DD> keep reference to a type <DT>+filter-type-ref-delete<DD> delete reference to a type <DT>+filter-net-decl-keep<DD> keep net declaration <DT>+filter-net-decl-delete<DD> delete net declaration <DT>+filter-var-decl-keep<DD> keep variable declaration <DT>+filter-var-decl-delete<DD> delete variable declaration <DT>+filter-param-decl-keep<DD> keep parameter declaration <DT>+filter-param-decl-delete<DD> delete parameter declaration <DT> +filter-specparam-decl-keep keep specify parameter declaration <DT> +filter-specparam-decl-delete delete specify parameter declaration <DT>+filter-port-decl-keep<DD> <DD>keep port declaration <DT>+filter-port-decl-delete<DD> delete port declaration <DT>+filter-genvar-decl-keep<DD> keep genvar declaration <DT> +filter-genvar-decl-delete delete genvar declaration <DT>+filter-typedef-decl-keep<DD> <DD>keep type declaration <DT> +filter-typedef-decl-delete delete type declaration <DT>+filter-init-keep<DD> <DD>keep initial block <DT>+filter-init-delete<DD> delete initial block <DT>+filter-always-keep<DD> keep always block <DT>+filter-always-delete<DD> delete always block <DT>+filter-always-latch-keep<DD> keep always latch block <DT> +filter-always-latch-delete delete always latch block <DT>+filter-always-ff-keep<DD> <DD>keep always flip-flop block <DT>+filter-always-ff-delete<DD> delete always flip-flop block <DT>+filter-always-comb-keep<DD> keep always combinational logic block <DT> +filter-always-comb-delete delete always combinational logic block <DT>+filter-specify-ref-keep<DD> <DD>keep specify block <DT> +filter-specify-ref-delete delete specify block <DT>+filter-assign-keep<DD> <DD>keep procedural assignment <DT>+filter-assign-delete<DD> delete procedural assignment <DT>+filter-add-assign-keep<DD> keep procedural assignment with add <DT>+filter-add-assign-delete<DD> delete procedural assignment with add <DT>+filter-sub-assign-keep<DD> keep procedural assignment with subtract <DT>+filter-sub-assign-delete<DD> delete procedural assignment with subtract <DT>+filter-mul-assign-keep<DD> keep procedural assignment with mul <DT>+filter-mul-assign-delete<DD> delete procedural assignment with mul <DT>+filter-div-assign-keep<DD> keep procedural assignment with div <DT>+filter-div-assign-delete<DD> delete procedural assignment with div <DT>+filter-mod-assign-keep<DD> keep procedural assignment with mod <DT>+filter-mod-assign-delete<DD> delete procedural assignment with mod <DT>+filter-and-assign-keep<DD> keep procedural assignment with bitwise and <DT>+filter-and-assign-delete<DD> delete procedural assignment with bitwise and <DT>+filter-or-assign-keep<DD> keep procedural assignment with bitwise or <DT>+filter-or-assign-delete<DD> delete procedural assignment with bitwise or <DT>+filter-xor-assign-keep<DD> keep procedural assignment with bitwise xor <DT>+filter-xor-assign-delete<DD> delete procedural assignment with bitwise xor <DT>+filter-lsh-assign-keep<DD> keep procedural assignment with left shift <DT>+filter-lsh-assign-delete<DD> delete procedural assignment with left shift <DT>+filter-rsh-assign-keep<DD> keep procedural assignment with right shift <DT>+filter-rsh-assign-delete<DD> delete procedural assignment with right shift <DT>+filter-lsha-assign-keep<DD> keep procedural assignment with left arithmetic shift <DT> +filter-lsha-assign-delete delete procedural assignment with left arithmetic shift <DT>+filter-rsha-assign-keep<DD> <DD>keep procedural assignment with right arithmetic shift <DT> +filter-rsha-assign-delete delete procedural assignment with right arithmetic shift <DT>+filter-force-keep<DD> <DD>keep force statement <DT>+filter-force-delete<DD> delete force statement <DT>+filter-release-keep<DD> keep release statement <DT>+filter-release-delete<DD> delete release statement <DT>+filter-nbassign-keep<DD> keep nonblocking assignment <DT>+filter-nbassign-delete<DD> delete nonblocking assignment <DT>+filter-if-keep<DD> keep if statement <DT>+filter-if-delete<DD> delete if statement <DT>+filter-forever-keep<DD> keep forever statement <DT>+filter-forever-delete<DD> delete forever statement <DT>+filter-repeat-keep<DD> keep repeat statement <DT>+filter-repeat-delete<DD> delete repeat statement <DT>+filter-while-keep<DD> keep while statement <DT>+filter-while-delete<DD> delete while statement <DT>+filter-wait-keep<DD> keep wait statement <DT>+filter-wait-delete<DD> delete wait statement <DT>+filter-for-keep<DD> keep for statement <DT>+filter-for-delete<DD> delete for statement <DT>+filter-case-keep<DD> keep case statement <DT>+filter-case-delete<DD> delete case statement <DT>+filter-casex-keep<DD> keep casex statement <DT>+filter-casex-delete<DD> delete casex statement <DT>+filter-casez-keep<DD> keep casez statement <DT>+filter-casez-delete<DD> delete casez statement <DT>+filter-cassign-keep<DD> keep continious assignment <DT>+filter-cassign-delete<DD> delete continious assignment <DT>+filter-function-def-keep<DD> keep function definition <DT> +filter-function-def-delete delete function definition <DT>+filter-module-def-keep<DD> <DD>keep module definition <DT>+filter-module-def-delete<DD> delete module definition <DT>+filter-port-def-keep<DD> keep port definition <DT>+filter-port-def-delete<DD> delete port definition <DT>+filter-defparam-keep<DD> keep defparam statement <DT>+filter-defparam-delete<DD> delete defparam statement <DT>+filter-path-keep<DD> keep path statement <DT>+filter-path-delete<DD> delete path statement <DT>+filter-trigger-keep<DD> keep event trigger <DT>+filter-trigger-delete<DD> delete event trigger <DT>+filter-passign-keep<DD> keep procedural assignment <DT>+filter-passign-delete<DD> delete procedural assignment <DT>+filter-deassign-keep<DD> keep deassign statement <DT>+filter-deassign-delete<DD> delete deassign statement <DT>+filter-disable-keep<DD> keep disable statement <DT>+filter-disable-delete<DD> delete disable statement <DT>+filter-attribute-keep<DD> keep attribute specification <DT>+filter-attribute-delete<DD> delete attribute specification <DT>+filter-gif-keep<DD> keep structural if statement <DT>+filter-gif-delete<DD> delete structural if statement <DT>+filter-gfor-keep<DD> keep structural for statement <DT>+filter-gfor-delete<DD> delete structural for statement <DT>+filter-gcase-keep<DD> keep structural case statement <DT>+filter-gcase-delete<DD> delete structural case statement <DT>+filter-table-keep<DD> keep udp table <DT>+filter-table-delete<DD> delete udp table <DT>+filter-enum-spec-keep<DD> keep enum specification <DT>+filter-enum-spec-delete<DD> delete enum specification <DT>+filter-member-keep<DD> keep member reference (structure, class or external <DT>+filter-member-delete<DD> delete member reference (structure, class or external <DT>+filter-return-keep<DD> keep return <DT>+filter-return-delete<DD> delete return <DT>+filter-preinc-keep<DD> keep preincrement <DT>+filter-preinc-delete<DD> delete preincrement <DT>+filter-postinc-keep<DD> keep postincrement <DT>+filter-postinc-delete<DD> delete postincrement <DT>+filter-predec-keep<DD> keep predecrement <DT>+filter-predec-delete<DD> delete predecrement <DT>+filter-postdec-keep<DD> keep postdecrement <DT>+filter-postdec-delete<DD> delete postdecrement <DT>+filter-cast-keep<DD> keep data type change <DT>+filter-cast-delete<DD> delete data type change </DL> <P> * 'rectify' Options <DL COMPACT> <DT> +rectify-default-value={0|1} change default replacement value <DT> +rectify-attribute-name=<attrName> attribute name used to override default replacement value </DL> <P> * 'sim' Options <DL COMPACT> <DT>+sim-interactive<DD> <DD>start simulation in interactive mode only <DT>+sim-compile-only<DD> do not simulate, compile only <DT>+sim-trace<DD> enable execution tracing <DT>+sim-mindelays<DD> use minimum delays <DT>+sim-typdelays<DD> use typical delays <DT>+sim-maxdelays<DD> use maximum delays <DT> +sim-pli=pliLib1+pliLib2+... load pli librarys </DL> <P> * 'xprop' Options <DL COMPACT> <DT>+xprop-begin=<pragma><DD> <DD>insertion begin pragma <DT>+xprop-end=<pragma><DD> insertion end pragma <DT>+xprop-clk-begin=<pragma><DD> insertion clock begin pragma <DT>+xprop-clk-end=<pragma><DD> insertion clock end pragma <DT>+xprop-disable-if<DD> disable if instrumentation <DT>+xprop-disable-case<DD> disable case instrumentation <DT>+xprop-disable-index<DD> disable reference instrumentation <DT>+xprop-disable-ternary<DD> disable '?' instrumentation <DT>+xprop-nox-attr=<name><DD> attribute specifing variable will never be x <DT>+xprop-int-nox<DD> declare integers will never be x <DT>+xprop-enable-clock<DD> instrument register clocks <DT> +xprop-clk-edge-control=[!]<tickdefine> Supply a preprocessor tick define to enable instrumentation on both edges of the clock. ! indicates tickdefine disables both edges. If switch isn't supplied the behavior is single edge unless XPROP_BOTH_EDGES is defined </DL> <A NAME="lbAF"> </A> <H2>AUTHOR</H2> <DD>Written by Mark Hummel <A NAME="lbAG"> </A> <H2>REPORTING BUGS</H2> Report bugs at <<A HREF="http://sourceforge.net/projects/vrq">http://sourceforge.net/projects/vrq</A>> <A NAME="lbAH"> </A> <H2>COPYRIGHT</H2> Copyright © 1997-2009 Mark Hummel <P> Vrq 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. <P> <HR> <A NAME="index"> </A><H2>Index</H2> <DL> <DT><A HREF="#lbAB">NAME</A><DD> <DT><A HREF="#lbAC">SYNOPSIS</A><DD> <DT><A HREF="#lbAD">DESCRIPTION</A><DD> <DT><A HREF="#lbAE">OPTIONS</A><DD> <DT><A HREF="#lbAF">AUTHOR</A><DD> <DT><A HREF="#lbAG">REPORTING BUGS</A><DD> <DT><A HREF="#lbAH">COPYRIGHT</A><DD> </DL> <HR> This document was created by <A HREF="http://localhost/cgi-bin/man/man2html">man2html</A>, using the manual pages.<BR> Time: 01:19:25 GMT, July 27, 2011 </BODY> </HTML> </div> <hr class="footer"/><address class="footer"><small>Generated by <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.1 </small></address> </body> </html>