Sophie

Sophie

distrib > Fedora > 14 > x86_64 > media > updates > by-pkgid > ffa1e6f5ad04360808fe8840fe3ba036 > files > 399

vrq-devel-1.0.88-1.fc14.i686.rpm

<!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&nbsp;Page</span></a></li>
      <li class="current"><a href="pages.html"><span>Related&nbsp;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">&nbsp;</A>
<H2>NAME</H2>

Vrq - manual page for Vrq 1.0.88,
<A NAME="lbAC">&nbsp;</A>
<H2>SYNOPSIS</H2>

<B>vrq</B>

[<I>options</I>] <I>&lt;file1&gt; </I>[<I>&lt;file2&gt;</I>...]
<A NAME="lbAD">&nbsp;</A>
<H2>DESCRIPTION</H2>

'Vrq' is a framework for creating verilog based tools.
<A NAME="lbAE">&nbsp;</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> &lt;directory&gt;<DD>
Search directory for module definitions
<DT><B>-f</B> &lt;filename&gt;<DD>
Read options from &lt;filename&gt;
<DT><B>-v</B> &lt;lib_filename&gt;<DD>
Search file for module definitions
<DT><B>-l</B> &lt;filename&gt;<DD>
Set log file to &lt;filename&gt;
<DT><B>-w</B> &lt;message&gt;=&lt;policy&gt;<DD>
Set policy for warning &lt;message&gt; to &lt;policy&gt;; ignore, warning, error, info
<DT><B>-w</B> all=&lt;policy&gt;<DD>
Set policy for all warnings to &lt;policy&gt;; ignore, warning, error, info
<DT><B>-wl</B><DD>
List all warning messages
<DT>+libext+&lt;extension&gt;<DD>
Specify library suffix to &lt;extension&gt;
<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> &lt;filename&gt;<DD>
Specify output file
<DT><B>-dir</B> &lt;directory&gt;<DD>
Specify output directory
<DT><B>-pragma</B> &lt;regexp&gt;<DD>
Extended regular expression template for pragma comments
<DT><B>-passthru</B> &lt;name&gt;<DD>
Pass through ifdef blocks with label
<DT>+incdir+&lt;directory&gt;<DD>
Specify include search path
<DT>+define+&lt;name&gt;=&lt;value&gt;<DD>
Define `define
<DT>+&lt;name&gt;+&lt;value&gt;<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=&lt;ext&gt;<DD>
File extension for files to be expanded
<DT>+depend=&lt;filename&gt;<DD>
Generate dependency info
<DT>+builder-verbose<DD>
Dump vebose log of actions
</DL>
<P>

* 'coverage' Options
<DL COMPACT>
<DT>
+coverage_output_file=&lt;filename&gt; 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=&lt;timescale&gt; emit `timescale &lt;timescale&gt; 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=&lt;attrName&gt; 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=&lt;pragma&gt;<DD>
<DD>insertion begin pragma
<DT>+xprop-end=&lt;pragma&gt;<DD>
insertion end pragma
<DT>+xprop-clk-begin=&lt;pragma&gt;<DD>
insertion clock begin pragma
<DT>+xprop-clk-end=&lt;pragma&gt;<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=&lt;name&gt;<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=[!]&lt;tickdefine&gt; 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">&nbsp;</A>
<H2>AUTHOR</H2>

<DD>Written by Mark Hummel
<A NAME="lbAG">&nbsp;</A>
<H2>REPORTING BUGS</H2>

Report bugs at &lt;<A HREF="http://sourceforge.net/projects/vrq">http://sourceforge.net/projects/vrq</A>&gt;
<A NAME="lbAH">&nbsp;</A>
<H2>COPYRIGHT</H2>

Copyright &#169; 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">&nbsp;</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&nbsp;
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.1 </small></address>
</body>
</html>