Provided by: gtkwave_3.3.86-1_amd64 
NAME
vermin - Parses and processes Verilog HDL files
SYNTAX
vermin [VERILOGFILE]... [option]...
DESCRIPTION
Parses Verilog HDL files for use by other tools. The Verilog grammar used is 1364-1995.
OPTIONS
-h[elp]
Prints out help screen.
-emitmono fname
Emit monolithic (parser view of) file to fname.
-emitstems
Emit source code stems to stdout.
-emitvars
Emit source code variables to stdout.
-Dx=y Equivalent to `define X Y in source.
+define+x=y
Equivalent to `define X Y in source.
+incdir+dirname
Add dirname to include search path.
+libext+ext
Add ext to filename when searching for files.
-pragma name
Add name (synopsys, verilint, vertex) to accepted pragmas. Note that "vertex" is for legacy
reasons; the executable name has since changed to avoid name clashes with an existing 3D modeling
program.
-y dirname
Add directory dirname to source input path.
-yi dirname
Add directory dirname to source input path (case insensitive search).
-f filename
Insert args from filename. Does not work recursively.
EXAMPLES
The following indicates that the library extension is .v and that the include directory is the current
working directory and that the library directory is also the current working directory. Stems generation
is enabled to generate a stems file for use with other tools. Various compile-time defines are also
defined on the command line.
vermin XYZ450AC6V1.v -emitstems -y . +incdir+. +libext+.v -DUTLB_OutputData=0 -D__PORTALS_VERILOG__
AUTHORS
Anthony Bybell <bybell@rocketmail.com>
SEE ALSO
rtlbrowse(1) gtkwave(1)