• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
        • Mlib
        • Server
        • Kit
          • Vl-model
          • Vl-json
            • Vl-json-opts-p
              • Parse-vl-json-opts
              • Vl-json-opts
              • Make-vl-json-opts
              • Change-vl-json-opts
              • Honsed-vl-json-opts
              • Make-honsed-vl-json-opts
              • *vl-json-opts-usage*
                • Vl-json-opts->strict
                • Vl-json-opts->separate
                • Vl-json-opts->search-path
                • Vl-json-opts->readme
                • Vl-json-opts->outfile
                • Vl-json-opts->mem
                • Vl-json-opts->help
                • Vl-json-opts->edition
                • Vl-json-opts->debug
            • Vl-gather
            • Vl-server
            • Vl-pp
            • Vl-lint
            • Vl-main
            • Vl-toolkit-other-command
            • Vl-help
          • Printer
          • Esim-vl
          • Well-formedness
        • Sv
        • Fgl
        • Vwsim
        • Vl
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-json-opts-p

    *vl-json-opts-usage*

    Automatically generated usage message.

        -h,--help             Show a brief usage message and exit. 
    --readme              Show a more elaborate README and exit. 
    -o,--outfile=FILE     Write output to FILE.  Default: "foo.v.json", 
                          where "foo.v" is the first Verilog file 
                          provided. 
    -s,--search=DIR       Search path for finding modules.  You can 
                          give this switch multiple times, to set up 
                          multiple search paths in priority order. 
    --separate            Write modules as separate, independent JSON 
                          objects instead of as a single, monolithic 
                          object. 
    --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). 
    --debug               Print extra information for debugging.