Vl-lintconfig-p
Command-line options for running vl lint.
(vl-lintconfig-p x) is a defaggregate of the following fields.
- start-files — The list of files to process.
Invariant (string-listp start-files).
- help — Show a brief usage message and exit.
Invariant (booleanp help).
- readme — Show a more elaborate README and exit.
Invariant (booleanp readme).
- search-path — Control the search path for finding modules. You can give
this switch multiple times, to set up multiple search paths in
priority order.
Invariant (string-listp search-path).
- search-exts — 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.
Invariant (string-listp search-exts).
- include-dirs — Control the list of directories for `include files. You can
give this switch multiple times. By default, we look only in
the current directory.
Invariant (string-listp include-dirs).
- topmods — Limit the scope of the report to MOD. By default we include
all warnings for any module we encounter. But if you say
"--topmod foo", we suppress all warnings for modules that foo
does not depend on. You can give this switch multiple times,
e.g., "--topmod foo --topmod bar" means: only show warnings
for foo, bar, and modules that they depend on.
Invariant (string-listp topmods).
- quiet — Suppress all warnings that about MOD. You can give this switch
multiple times, e.g., "-q foo -q bar" will hide the warnings
about modules foo and bar.
Invariant (string-listp quiet).
- dropmods — Delete MOD from the module hierarchy before doing any linting
at all. This is a gross (but effective) way to work through
any bugs in the linter that are triggered by certain modules.
The dropped modules are removed from the module list without
destroying modules above them. This may occasionally lead to
false warnings about the modules above (e.g., it may think some
wires are unused, because the module that uses them has been
removed.).
Invariant (string-listp dropmods).
- ignore — Ignore warnings of this TYPE. For instance, "--ignore
oddexpr" will suppress VL_WARN_ODDEXPR warnings. Note that
there are much finer-grained ways to suppress warnings; see
"vl lint --readme" for more information.
Invariant (string-listp ignore).
- cclimit — Limit for the const check. This is a beta feature that is not
yet released. Setting N to 0 (the default) disables the
check. Otherwise, limit the scope of the check to at most N
sub-expressions.
Invariant (natp cclimit).
- 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.
Invariant (vl-edition-p edition).
- strict — Disable VL extensions to Verilog.
Invariant (booleanp strict).
- mem — 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).
Invariant (posp mem).
- debug — Print extra information for debugging.
Invariant (booleanp debug).
Source link: vl-lintconfig-p
Subtopics
- Parse-vl-lintconfig
- Parse arguments from the command line into a vl-lintconfig-p aggregate.
- Vl-lintconfig
- Raw constructor for vl-lintconfig-p structures.
- Make-vl-lintconfig
- Constructor macro for vl-lintconfig-p structures.
- Change-vl-lintconfig
- A copying macro that lets you create new vl-lintconfig-p structures, based on existing structures.
- Honsed-vl-lintconfig
- Raw constructor for honsed vl-lintconfig-p structures.
- *vl-lintconfig-usage*
- Automatically generated usage message.
- Make-honsed-vl-lintconfig
- Constructor macro for honsed vl-lintconfig-p structures.
- Vl-lintconfig->topmods
- Access the topmods field of a vl-lintconfig-p structure.
- Vl-lintconfig->strict
- Access the strict field of a vl-lintconfig-p structure.
- Vl-lintconfig->start-files
- Access the start-files field of a vl-lintconfig-p structure.
- Vl-lintconfig->search-path
- Access the search-path field of a vl-lintconfig-p structure.
- Vl-lintconfig->search-exts
- Access the search-exts field of a vl-lintconfig-p structure.
- Vl-lintconfig->readme
- Access the readme field of a vl-lintconfig-p structure.
- Vl-lintconfig->quiet
- Access the quiet field of a vl-lintconfig-p structure.
- Vl-lintconfig->mem
- Access the mem field of a vl-lintconfig-p structure.
- Vl-lintconfig->include-dirs
- Access the include-dirs field of a vl-lintconfig-p structure.
- Vl-lintconfig->ignore
- Access the ignore field of a vl-lintconfig-p structure.
- Vl-lintconfig->help
- Access the help field of a vl-lintconfig-p structure.
- Vl-lintconfig->edition
- Access the edition field of a vl-lintconfig-p structure.
- Vl-lintconfig->dropmods
- Access the dropmods field of a vl-lintconfig-p structure.
- Vl-lintconfig->debug
- Access the debug field of a vl-lintconfig-p structure.
- Vl-lintconfig->cclimit
- Access the cclimit field of a vl-lintconfig-p structure.
