Rechercher une page de manuel
vrq
Langue: en
Version: September 2010 (fedora - 01/12/10)
Section: 1 (Commandes utilisateur)
NAME
Vrq - manual page for Vrq 1.0.79,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
- -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-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-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-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
- +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
* '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-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>COPYRIGHT
Copyright © 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.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre