• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
          • Vl-lint
          • Vl-server
          • Vl-gather
            • Vl-gather-opts-p
              • Parse-vl-gather-opts
              • Vl-gather-opts
              • Make-vl-gather-opts
              • Change-vl-gather-opts
              • Honsed-vl-gather-opts
              • Make-honsed-vl-gather-opts
              • *vl-gather-opts-usage*
                • Vl-gather-opts->strict
                • Vl-gather-opts->start-files
                • Vl-gather-opts->search-path
                • Vl-gather-opts->search-exts
                • Vl-gather-opts->readme
                • Vl-gather-opts->plusargs
                • Vl-gather-opts->output
                • Vl-gather-opts->mem
                • Vl-gather-opts->include-dirs
                • Vl-gather-opts->help
                • Vl-gather-opts->edition
                • Vl-gather-opts->defines
              • Vl-modulelist-original-sources
              • Vl-module-original-source
              • Vl-gather-top
              • *vl-gather-help*
              • Vl-gather-main
              • Vl-design-original-source
            • Vl-zip
            • Vl-main
            • Split-plusargs
            • Vl-shell
            • Vl-json
          • Mlib
          • Transforms
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-gather-opts-p

    *vl-gather-opts-usage*

    Automatically generated usage message.

        -h,--help             Show a brief usage message and exit. 
    --readme              Show a more elaborate README and exit. 
    -o,--output=FILE      Default is "vl_gather.v".  Where to write the 
                          collected up modules. 
    -s,--search=DIR       Control the search path for finding modules. 
                          You can give this switch multiple times, to 
                          set up multiple search paths in priority 
                          order. 
    -I,--incdir=DIR       Control the list of directories for `include 
                          files.  You can give this switch multiple 
                          times.  By default, we look only in the 
                          current directory. 
    --searchext=EXT       Control the search extensions for finding 
                          modules.  You can give this switch multiple 
                          times.  By default we just look for files 
                          named "foo.v" in the --search directories. 
                          But if you have Verilog files with different 
                          extensions, this won't work, so you can add 
                          these extensions here.  EXT should not 
                          include the period, e.g., use "--searchext 
                          vv" to consider files like "foo.vv", etc. 
    -D,--define=VAR       Set up definitions to use before parsing 
                          begins.  For instance, "--define foo" is 
                          similar to "`define foo" and "--define foo=3" 
                          is similar to "`define foo 3".  Note: these 
                          defines are "sticky" and will override 
                          subsequent `defines in your Verilog files 
                          unless your Verilog explicitly uses `undef. 
                          You can give this option multiple times. 
    --edition=EDITION     Which edition of the Verilog standard to 
                          implement?  Default: "SystemVerilog" (IEEE 
                          1800-2012).  You can alternately use 
                          "Verilog" for IEEE 1364-2005, i.e., 
                          Verilog-2005. 
    --strict              Disable VL extensions to Verilog. 
    -m,--mem=GB           How much memory to try to use.  Default: 4 
                          GB.  Raising this may improve performance by 
                          avoiding garbage collection.  To avoid 
                          swapping, keep this below (physical_memory - 
                          2 GB).