vrq man page

Vrq — manual page for Vrq 1.0.127,

Synopsis

vrq [options] <file1> [<file2>...]

Description

'Vrq' is a framework for creating verilog based tools.

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

--randomizeheap

Randomize heap

-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

-lexbuffersize <bufferSize> Set lexer buffer size (default=1048576)

-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 rectify

Replace all X constants with 0 or 1

-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-alt-rxnor

Use alternate rxnor op ^~

+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-enum-ref-keep

keep reference to a enum

+filter-enum-ref-delete

delete reference to a enum

+filter-type-ref-keep

keep reference to a type

+filter-type-ref-delete

delete reference to a type

+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-typedef-decl-keep

keep type declaration

+filter-typedef-decl-delete delete type 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-always-latch-keep

keep always latch block

+filter-always-latch-delete delete always latch block

+filter-always-ff-keep

keep always flip-flop block

+filter-always-ff-delete

delete always flip-flop block

+filter-always-comb-keep

keep always combinational logic block

+filter-always-comb-delete delete always combinational logic 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-gassign-keep

keep generate intialize assignment

+filter-gassign-delete

delete generate intialize assignment

+filter-add-assign-keep

keep procedural assignment with add

+filter-add-assign-delete

delete procedural assignment with add

+filter-sub-assign-keep

keep procedural assignment with subtract

+filter-sub-assign-delete

delete procedural assignment with subtract

+filter-mul-assign-keep

keep procedural assignment with mul

+filter-mul-assign-delete

delete procedural assignment with mul

+filter-div-assign-keep

keep procedural assignment with div

+filter-div-assign-delete

delete procedural assignment with div

+filter-mod-assign-keep

keep procedural assignment with mod

+filter-mod-assign-delete

delete procedural assignment with mod

+filter-and-assign-keep

keep procedural assignment with bitwise and

+filter-and-assign-delete

delete procedural assignment with bitwise and

+filter-or-assign-keep

keep procedural assignment with bitwise or

+filter-or-assign-delete

delete procedural assignment with bitwise or

+filter-xor-assign-keep

keep procedural assignment with bitwise xor

+filter-xor-assign-delete

delete procedural assignment with bitwise xor

+filter-lsh-assign-keep

keep procedural assignment with left shift

+filter-lsh-assign-delete

delete procedural assignment with left shift

+filter-rsh-assign-keep

keep procedural assignment with right shift

+filter-rsh-assign-delete

delete procedural assignment with right shift

+filter-lsha-assign-keep

keep procedural assignment with left arithmetic shift

+filter-lsha-assign-delete delete procedural assignment with left arithmetic shift

+filter-rsha-assign-keep

keep procedural assignment with right arithmetic shift

+filter-rsha-assign-delete delete procedural assignment with right arithmetic shift

+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-import-keep

keep import item

+filter-import-delete

delete import item

+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-package-def-keep

keep package definition

+filter-package-def-delete delete package 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

+filter-enum-spec-keep

keep enum specification

+filter-enum-spec-delete

delete enum specification

+filter-member-keep

keep member reference (structure, class or external

+filter-member-delete

delete member reference (structure, class or external

+filter-return-keep

keep return

+filter-return-delete

delete return

+filter-preinc-keep

keep preincrement

+filter-preinc-delete

delete preincrement

+filter-postinc-keep

keep postincrement

+filter-postinc-delete

delete postincrement

+filter-predec-keep

keep predecrement

+filter-predec-delete

delete predecrement

+filter-postdec-keep

keep postdecrement

+filter-postdec-delete

delete postdecrement

+filter-cast-keep

keep data type change

+filter-cast-delete

delete data type change

+filter-assignment-pattern-keep keep assignment_pattern

+filter-assignment-pattern-delete delete assignment_pattern

+filter-dollar-keep

keep queue dimension

+filter-dollar-delete

delete queue dimension

* 'rectify' Options

+rectify-default-value={0|1} change default replacement value

+rectify-attribute-name=<attrName> attribute name used to override default replacement value

+rectify-delete-decl-pragmas delete pragmas attached to declarations

* '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

+sim-log=file

use file for logging

+sim-key=file

use file for key stroke log

* '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-task

disable task output instrumentation

+xprop-disable-if

disable if instrumentation

+xprop-disable-case

disable case instrumentation

+xprop-disable-index

disable reference 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

Written by Mark Hummel

Reporting Bugs

Report bugs at <http://sourceforge.net/projects/vrq>

Info

November 2016 Vrq 1.0.127, User Commands