GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  VERMIN (1)

NAME

vermin - Parses and processes Verilog HDL files

CONTENTS

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)

Search for    or go to Top of page |  Section 1 |  Main Index


Anthony Bybell VERMIN (1) 0.1.1

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.