vrq(1) - Linux man page

Name

Synopsis

Description

Options

--version

Print version

--help

This message

--bindir

Binary install path

--libdir

Library install path

--pkglibdir

Plugin install path

--includedir

Include install path

--cflags

Compiler flags used

--ldflags

Linker flags used

--libs

Libraries used

-V

Verbose

-y <directory>

Search directory for module definitions

-f <filename>

Read options from <filename>

-v <lib_filename>

Search file for module definitions

-l <filename>

Set log file to <filename>

-w <message>=<policy>

Set policy for warning <message> to <policy>; ignore, warning, error, info

-w all=<policy>

Set policy for all warnings to <policy>; ignore, warning, error, info

-wl

List all warning messages

+libext+<extension>

Specify library suffix to <extension>

-sv

Enable System Verilog support

-dump

Dump internal tree

-debug

Print debug/statistics info

-quiet

Print minimal runtime info

-infervectors

Infer reg and wire vectors

-keeptickdefines

Best effort attempt to keep tick defines and 'include statements in code (EXPERIMENTAL)

-macrocheck

Do not allow undefined macros

-o <filename>

Specify output file

-dir <directory>

Specify output directory

-pragma <regexp>

Extended regular expression template for pragma comments

-passthru <name>

Pass through ifdef blocks with label

+incdir+<directory>

Specify include search path

+define+<name>=<value>

Define 'define

+<name>+<value>

Define plusargs

-tool builder

Auto route hierarchy

-tool coverage

Add line coverage instrumentation

-tool dump

Print verilog output

-tool filter

Extract elements of hierarchy

-tool flatten

Reduce to single level hiearchy

-tool sim

Verilog simulator

-tool stats

Print summary of hiearchy

-tool xprop

Add X propagation instrumentation

* 'builder' Options

+tree_ext=<ext>

File extension for files to be expanded

+depend=<filename>

Generate dependency info

+builder-verbose

Dump vebose log of actions

* 'coverage' Options

+coverage_output_file=<filename> Filename for coverage line mapping info

* 'dump' Options

+dump-fps

Force part selects on all vectors

+dump-fvl

Convert all logical ops to vector ops

+dump-fcc

Convert all comments to c++ style

+dump-swda

Split wire declaration assignments

+dump-fbae

Force begin/end block after event statement

+dump-nns

Replace null statements with begin/end pairs

+dump-sabo

Add spaces around binary operators

+dump-ced

Create explicit declarations for implicitly declared variables

+dump-strip-attr

strip out all attributes

+dump-timescale=<timescale> emit 'timescale <timescale> statements for all modules missing 'timescale declarations

+dump-simplify

Simplify constant expressions (EXPERIMENTAL)

* 'filter' Options

+filter-default-policy-keep keep all element by default

+filter-default-policy-delete delete all element by default (tool default behavior)

+filter-comment-keep

keep comment

+filter-comment-delete

delete comment

+filter-vrq-keep

keep vrq comment

+filter-vrq-delete

delete vrq comment

+filter-pragma-keep

keep program pragma

+filter-pragma-delete

delete program pragma

+filter-instance-ref-keep

keep instance reference

+filter-instance-ref-delete delete instance reference

+filter-gate-ref-keep

keep gate instance

+filter-gate-ref-delete

delete gate instance

+filter-task-enable-keep

keep call to a task

+filter-task-enable-delete delete call to a task

+filter-systask-call-keep

keep call to enable a systask

+filter-systask-call-delete delete call to enable a systask

+filter-timing-call-keep

keep call to a timing task

+filter-timing-call-delete delete call to a timing task

+filter-function-call-keep keep call to a function

+filter-function-call-delete delete call to a function

+filter-net-decl-keep

keep net declaration

+filter-net-decl-delete

delete net declaration

+filter-var-decl-keep

keep variable declaration

+filter-var-decl-delete

delete variable declaration

+filter-param-decl-keep

keep parameter declaration

+filter-param-decl-delete

delete parameter declaration

+filter-specparam-decl-keep keep specify parameter declaration

+filter-specparam-decl-delete delete specify parameter declaration

+filter-port-decl-keep

keep port declaration

+filter-port-decl-delete

delete port declaration

+filter-genvar-decl-keep

keep genvar declaration

+filter-genvar-decl-delete delete genvar declaration

+filter-init-keep

keep initial block

+filter-init-delete

delete initial block

+filter-always-keep

keep always block

+filter-always-delete

delete always block

+filter-specify-ref-keep

keep specify block

+filter-specify-ref-delete delete specify block

+filter-assign-keep

keep procedural assignment

+filter-assign-delete

delete procedural assignment

+filter-force-keep

keep force statement

+filter-force-delete

delete force statement

+filter-release-keep

keep release statement

+filter-release-delete

delete release statement

+filter-nbassign-keep

keep nonblocking assignment

+filter-nbassign-delete

delete nonblocking assignment

+filter-if-keep

keep if statement

+filter-if-delete

delete if statement

+filter-forever-keep

keep forever statement

+filter-forever-delete

delete forever statement

+filter-repeat-keep

keep repeat statement

+filter-repeat-delete

delete repeat statement

+filter-while-keep

keep while statement

+filter-while-delete

delete while statement

+filter-wait-keep

keep wait statement

+filter-wait-delete

delete wait statement

+filter-for-keep

keep for statement

+filter-for-delete

delete for statement

+filter-case-keep

keep case statement

+filter-case-delete

delete case statement

+filter-casex-keep

keep casex statement

+filter-casex-delete

delete casex statement

+filter-casez-keep

keep casez statement

+filter-casez-delete

delete casez statement

+filter-cassign-keep

keep continious assignment

+filter-cassign-delete

delete continious assignment

+filter-function-def-keep

keep function definition

+filter-function-def-delete delete function definition

+filter-module-def-keep

keep module definition

+filter-module-def-delete

delete module definition

+filter-port-def-keep

keep port definition

+filter-port-def-delete

delete port definition

+filter-defparam-keep

keep defparam statement

+filter-defparam-delete

delete defparam statement

+filter-path-keep

keep path statement

+filter-path-delete

delete path statement

+filter-trigger-keep

keep event trigger

+filter-trigger-delete

delete event trigger

+filter-passign-keep

keep procedural assignment

+filter-passign-delete

delete procedural assignment

+filter-deassign-keep

keep deassign statement

+filter-deassign-delete

delete deassign statement

+filter-disable-keep

keep disable statement

+filter-disable-delete

delete disable statement

+filter-attribute-keep

keep attribute specification

+filter-attribute-delete

delete attribute specification

+filter-gif-keep

keep structural if statement

+filter-gif-delete

delete structural if statement

+filter-gfor-keep

keep structural for statement

+filter-gfor-delete

delete structural for statement

+filter-gcase-keep

keep structural case statement

+filter-gcase-delete

delete structural case statement

+filter-table-keep

keep udp table

+filter-table-delete

delete udp table

* 'sim' Options

+sim-interactive

start simulation in interactive mode only

+sim-compile-only

do not simulate, compile only

+sim-trace

enable execution tracing

+sim-mindelays

use minimum delays

+sim-typdelays

use typical delays

+sim-maxdelays

use maximum delays

+sim-pli=pliLib1+pliLib2+... load pli librarys

* 'xprop' Options

+xprop-begin=<pragma>

insertion begin pragma

+xprop-end=<pragma>

insertion end pragma

+xprop-clk-begin=<pragma>

insertion clock begin pragma

+xprop-clk-end=<pragma>

insertion clock end pragma

+xprop-disable-if

disable if instrumentation

+xprop-disable-case

disable case instrumentation

+xprop-disable-select

disable bit/part select instrumentation

+xprop-disable-array

disable array instrumentation

+xprop-disable-ternary

disable '?' instrumentation

+xprop-nox-attr=<name>

attribute specifing variable will never be x

+xprop-int-nox

declare integers will never be x

+xprop-enable-clock

instrument register clocks

+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

Author

Reporting Bugs

Copyright

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.