1VRQ(1) User Commands VRQ(1)
2
6 Vrq - manual page for Vrq 1.0.88,
7
9 vrq [options] <file1> [<file2>...]
10
12 'Vrq' is a framework for creating verilog based tools.
13
15 --version
16 Print version
17 --help This message
19 --bindir
21 Binary install path
22 --libdir
24 Library install path
25 --pkglibdir
27 Plugin install path
28 --includedir
30 Include install path
31 --cflags
33 Compiler flags used
34 --ldflags
36 Linker flags used
37 --libs Libraries used
39 -V Verbose
41 -y <directory>
43 Search directory for module definitions
44 -f <filename>
46 Read options from <filename>
47 -v <lib_filename>
49 Search file for module definitions
50 -l <filename>
52 Set log file to <filename>
53 -w <message>=<policy>
55 Set policy for warning <message> to <policy>; ignore, warning,
56 error, info
57 -w all=<policy>
59 Set policy for all warnings to <policy>; ignore, warning, error,
60 info
61 -wl List all warning messages
63 +libext+<extension>
65 Specify library suffix to <extension>
66 -sv Enable System Verilog support
68 -dump Dump internal tree
70 -debug Print debug/statistics info
72 -quiet Print minimal runtime info
74 -infervectors
76 Infer reg and wire vectors
77 -keeptickdefines
79 Best effort attempt to keep tick defines and `include statements
80 in code (EXPERIMENTAL)
81 -macrocheck
83 Do not allow undefined macros
84 -o <filename>
86 Specify output file
87 -dir <directory>
89 Specify output directory
90 -pragma <regexp>
92 Extended regular expression template for pragma comments
93 -passthru <name>
95 Pass through ifdef blocks with label
96 +incdir+<directory>
98 Specify include search path
99 +define+<name>=<value>
101 Define `define
102 +<name>+<value>
104 Define plusargs
105 -tool builder
107 Auto route hierarchy
108 -tool coverage
110 Add line coverage instrumentation
111 -tool dump
113 Print verilog output
114 -tool filter
116 Extract elements of hierarchy
117 -tool flatten
119 Reduce to single level hiearchy
120 -tool rectify
122 Replace all X constants with 0 or 1
123 -tool sim
125 Verilog simulator
126 -tool stats
128 Print summary of hiearchy
129 -tool xprop
131 Add X propagation instrumentation
132 * 'builder' Options
134 +tree_ext=<ext>
136 File extension for files to be expanded
137 +depend=<filename>
139 Generate dependency info
140 +builder-verbose
142 Dump vebose log of actions
143 * 'coverage' Options
145 +coverage_output_file=<filename> Filename for coverage line mapping
147 info
148 * 'dump' Options
150 +dump-alt-rxnor
152 Use alternate rxnor op ^~
153 +dump-fps
155 Force part selects on all vectors
156 +dump-fvl
158 Convert all logical ops to vector ops
159 +dump-fcc
161 Convert all comments to c++ style
162 +dump-swda
164 Split wire declaration assignments
165 +dump-fbae
167 Force begin/end block after event statement
168 +dump-nns
170 Replace null statements with begin/end pairs
171 +dump-sabo
173 Add spaces around binary operators
174 +dump-ced
176 Create explicit declarations for implicitly declared variables
177 +dump-strip-attr
179 strip out all attributes
180 +dump-timescale=<timescale> emit `timescale <timescale> statements for
182 all modules missing `timescale declarations
183 +dump-simplify
185 Simplify constant expressions (EXPERIMENTAL)
186 * 'filter' Options
188 +filter-default-policy-keep keep all element by default
190 +filter-default-policy-delete delete all element by default (tool
192 default behavior)
193 +filter-comment-keep
195 keep comment
196 +filter-comment-delete
198 delete comment
199 +filter-vrq-keep
201 keep vrq comment
202 +filter-vrq-delete
204 delete vrq comment
205 +filter-pragma-keep
207 keep program pragma
208 +filter-pragma-delete
210 delete program pragma
211 +filter-instance-ref-keep
213 keep instance reference
214 +filter-instance-ref-delete delete instance reference
216 +filter-gate-ref-keep
218 keep gate instance
219 +filter-gate-ref-delete
221 delete gate instance
222 +filter-task-enable-keep
224 keep call to a task
225 +filter-task-enable-delete delete call to a task
227 +filter-systask-call-keep
229 keep call to enable a systask
230 +filter-systask-call-delete delete call to enable a systask
232 +filter-timing-call-keep
234 keep call to a timing task
235 +filter-timing-call-delete delete call to a timing task
237 +filter-function-call-keep keep call to a function
239 +filter-function-call-delete delete call to a function
241 +filter-enum-ref-keep
243 keep reference to a enum
244 +filter-enum-ref-delete
246 delete reference to a enum
247 +filter-type-ref-keep
249 keep reference to a type
250 +filter-type-ref-delete
252 delete reference to a type
253 +filter-net-decl-keep
255 keep net declaration
256 +filter-net-decl-delete
258 delete net declaration
259 +filter-var-decl-keep
261 keep variable declaration
262 +filter-var-decl-delete
264 delete variable declaration
265 +filter-param-decl-keep
267 keep parameter declaration
268 +filter-param-decl-delete
270 delete parameter declaration
271 +filter-specparam-decl-keep keep specify parameter declaration
273 +filter-specparam-decl-delete delete specify parameter declaration
275 +filter-port-decl-keep
277 keep port declaration
278 +filter-port-decl-delete
280 delete port declaration
281 +filter-genvar-decl-keep
283 keep genvar declaration
284 +filter-genvar-decl-delete delete genvar declaration
286 +filter-typedef-decl-keep
288 keep type declaration
289 +filter-typedef-decl-delete delete type declaration
291 +filter-init-keep
293 keep initial block
294 +filter-init-delete
296 delete initial block
297 +filter-always-keep
299 keep always block
300 +filter-always-delete
302 delete always block
303 +filter-always-latch-keep
305 keep always latch block
306 +filter-always-latch-delete delete always latch block
308 +filter-always-ff-keep
310 keep always flip-flop block
311 +filter-always-ff-delete
313 delete always flip-flop block
314 +filter-always-comb-keep
316 keep always combinational logic block
317 +filter-always-comb-delete delete always combinational logic block
319 +filter-specify-ref-keep
321 keep specify block
322 +filter-specify-ref-delete delete specify block
324 +filter-assign-keep
326 keep procedural assignment
327 +filter-assign-delete
329 delete procedural assignment
330 +filter-add-assign-keep
332 keep procedural assignment with add
333 +filter-add-assign-delete
335 delete procedural assignment with add
336 +filter-sub-assign-keep
338 keep procedural assignment with subtract
339 +filter-sub-assign-delete
341 delete procedural assignment with subtract
342 +filter-mul-assign-keep
344 keep procedural assignment with mul
345 +filter-mul-assign-delete
347 delete procedural assignment with mul
348 +filter-div-assign-keep
350 keep procedural assignment with div
351 +filter-div-assign-delete
353 delete procedural assignment with div
354 +filter-mod-assign-keep
356 keep procedural assignment with mod
357 +filter-mod-assign-delete
359 delete procedural assignment with mod
360 +filter-and-assign-keep
362 keep procedural assignment with bitwise and
363 +filter-and-assign-delete
365 delete procedural assignment with bitwise and
366 +filter-or-assign-keep
368 keep procedural assignment with bitwise or
369 +filter-or-assign-delete
371 delete procedural assignment with bitwise or
372 +filter-xor-assign-keep
374 keep procedural assignment with bitwise xor
375 +filter-xor-assign-delete
377 delete procedural assignment with bitwise xor
378 +filter-lsh-assign-keep
380 keep procedural assignment with left shift
381 +filter-lsh-assign-delete
383 delete procedural assignment with left shift
384 +filter-rsh-assign-keep
386 keep procedural assignment with right shift
387 +filter-rsh-assign-delete
389 delete procedural assignment with right shift
390 +filter-lsha-assign-keep
392 keep procedural assignment with left arithmetic shift
393 +filter-lsha-assign-delete delete procedural assignment with left
395 arithmetic shift
396 +filter-rsha-assign-keep
398 keep procedural assignment with right arithmetic shift
399 +filter-rsha-assign-delete delete procedural assignment with right
401 arithmetic shift
402 +filter-force-keep
404 keep force statement
405 +filter-force-delete
407 delete force statement
408 +filter-release-keep
410 keep release statement
411 +filter-release-delete
413 delete release statement
414 +filter-nbassign-keep
416 keep nonblocking assignment
417 +filter-nbassign-delete
419 delete nonblocking assignment
420 +filter-if-keep
422 keep if statement
423 +filter-if-delete
425 delete if statement
426 +filter-forever-keep
428 keep forever statement
429 +filter-forever-delete
431 delete forever statement
432 +filter-repeat-keep
434 keep repeat statement
435 +filter-repeat-delete
437 delete repeat statement
438 +filter-while-keep
440 keep while statement
441 +filter-while-delete
443 delete while statement
444 +filter-wait-keep
446 keep wait statement
447 +filter-wait-delete
449 delete wait statement
450 +filter-for-keep
452 keep for statement
453 +filter-for-delete
455 delete for statement
456 +filter-case-keep
458 keep case statement
459 +filter-case-delete
461 delete case statement
462 +filter-casex-keep
464 keep casex statement
465 +filter-casex-delete
467 delete casex statement
468 +filter-casez-keep
470 keep casez statement
471 +filter-casez-delete
473 delete casez statement
474 +filter-cassign-keep
476 keep continious assignment
477 +filter-cassign-delete
479 delete continious assignment
480 +filter-function-def-keep
482 keep function definition
483 +filter-function-def-delete delete function definition
485 +filter-module-def-keep
487 keep module definition
488 +filter-module-def-delete
490 delete module definition
491 +filter-port-def-keep
493 keep port definition
494 +filter-port-def-delete
496 delete port definition
497 +filter-defparam-keep
499 keep defparam statement
500 +filter-defparam-delete
502 delete defparam statement
503 +filter-path-keep
505 keep path statement
506 +filter-path-delete
508 delete path statement
509 +filter-trigger-keep
511 keep event trigger
512 +filter-trigger-delete
514 delete event trigger
515 +filter-passign-keep
517 keep procedural assignment
518 +filter-passign-delete
520 delete procedural assignment
521 +filter-deassign-keep
523 keep deassign statement
524 +filter-deassign-delete
526 delete deassign statement
527 +filter-disable-keep
529 keep disable statement
530 +filter-disable-delete
532 delete disable statement
533 +filter-attribute-keep
535 keep attribute specification
536 +filter-attribute-delete
538 delete attribute specification
539 +filter-gif-keep
541 keep structural if statement
542 +filter-gif-delete
544 delete structural if statement
545 +filter-gfor-keep
547 keep structural for statement
548 +filter-gfor-delete
550 delete structural for statement
551 +filter-gcase-keep
553 keep structural case statement
554 +filter-gcase-delete
556 delete structural case statement
557 +filter-table-keep
559 keep udp table
560 +filter-table-delete
562 delete udp table
563 +filter-enum-spec-keep
565 keep enum specification
566 +filter-enum-spec-delete
568 delete enum specification
569 +filter-member-keep
571 keep member reference (structure, class or external
572 +filter-member-delete
574 delete member reference (structure, class or external
575 +filter-return-keep
577 keep return
578 +filter-return-delete
580 delete return
581 +filter-preinc-keep
583 keep preincrement
584 +filter-preinc-delete
586 delete preincrement
587 +filter-postinc-keep
589 keep postincrement
590 +filter-postinc-delete
592 delete postincrement
593 +filter-predec-keep
595 keep predecrement
596 +filter-predec-delete
598 delete predecrement
599 +filter-postdec-keep
601 keep postdecrement
602 +filter-postdec-delete
604 delete postdecrement
605 +filter-cast-keep
607 keep data type change
608 +filter-cast-delete
610 delete data type change
611 * 'rectify' Options
613 +rectify-default-value={0|1} change default replacement value
615 +rectify-attribute-name=<attrName> attribute name used to override
617 default replacement value
618 * 'sim' Options
620 +sim-interactive
622 start simulation in interactive mode only
623 +sim-compile-only
625 do not simulate, compile only
626 +sim-trace
628 enable execution tracing
629 +sim-mindelays
631 use minimum delays
632 +sim-typdelays
634 use typical delays
635 +sim-maxdelays
637 use maximum delays
638 +sim-pli=pliLib1+pliLib2+... load pli librarys
640 * 'xprop' Options
642 +xprop-begin=<pragma>
644 insertion begin pragma
645 +xprop-end=<pragma>
647 insertion end pragma
648 +xprop-clk-begin=<pragma>
650 insertion clock begin pragma
651 +xprop-clk-end=<pragma>
653 insertion clock end pragma
654 +xprop-disable-if
656 disable if instrumentation
657 +xprop-disable-case
659 disable case instrumentation
660 +xprop-disable-index
662 disable reference instrumentation
663 +xprop-disable-ternary
665 disable '?' instrumentation
666 +xprop-nox-attr=<name>
668 attribute specifing variable will never be x
669 +xprop-int-nox
671 declare integers will never be x
672 +xprop-enable-clock
674 instrument register clocks
675 +xprop-clk-edge-control=[!]<tickdefine> Supply a preprocessor tick
677 define to enable instrumentation on both edges of the clock. !
678 indicates tickdefine disables both edges. If switch isn't sup‐
679 plied the behavior is single edge unless XPROP_BOTH_EDGES is
680 defined
681
683 Written by Mark Hummel
684
686 Report bugs at <http://sourceforge.net/projects/vrq>
687
689 Copyright © 1997-2009 Mark Hummel
690 Vrq comes with ABSOLUTELY NO WARRANTY; This is free software, and you
692 are welcome to redistribute it under the terms of the GNU General Pub‐
693 lic License as published by the Free Software Foundation; either ver‐
694 sion 2 of the License, or (at your option) any later version.
695Vrq 1.0.88, July 2011 VRQ(1)