vermin man page on DragonFly

Man page or keyword search:  
man Server   44335 pages
apropos Keyword Search (all sections)
Output format
DragonFly logo
[printable version]

VERMIN(1)		      Verilog Compilation		     VERMIN(1)

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_Out‐
       putData=0 -D__PORTALS_VERILOG__

AUTHORS
       Anthony Bybell <bybell@rocketmail.com>

SEE ALSO
       rtlbrowse(1) gtkwave(1)

Anthony Bybell			     0.1.1			     VERMIN(1)
[top]

List of man pages available for DragonFly

Copyright (c) for man pages and the logo by the respective OS vendor.

For those who want to learn more, the polarhome community provides shell access and support.

[legal] [privacy] [GNU] [policy] [cookies] [netiquette] [sponsors] [FAQ]
Tweet
Polarhome, production since 1999.
Member of Polarhome portal.
Based on Fawad Halim's script.
....................................................................
Vote for polarhome
Free Shell Accounts :: the biggest list on the net