Vl-loadconfig
Options for how to load Verilog modules.
This is a product type introduced by defprod.
Fields
- edition — vl-edition-p
- Which standard are we implementing, e.g., IEEE Std
1364-2005 (Verilog) or IEEE Std
1800-2012 (SystemVerilog).
- strictp — booleanp
- VL normally implements certain extensions of the Verilog
standard like //+VL comments. Turning on strict mode
will disable these extensions and instruct VL to implement
the standard more strictly.
- start-files — string-listp
- A list of file names (not module names) that you want to
load; vl-load begins by trying to read, preprocess,
lex, and parse the contents of these files.
- start-names — string-listp
- Instead of (or in addition to) explicitly providing the
start-files, you can also provide a list of
description names that you want to load (e.g., names of
modules, packages, interfaces, programs, etc.). vl-load will look for these descriptions in the search
path, unless they happen to get loaded while processing the
start-files.
- search-path — string-listp
- A list of directories to search (in order) for descriptions
in start-modnames that were in the start-files,
and for missing modules. This is similar to "library
directories" in tools like Verilog-XL and NCVerilog.
- search-exts — string-listp
- List of file extensions to search (in order) to find files
in the search-path. The default is ("v"),
meaning that only files like foo.v are considered.
- include-dirs — string-listp
- A list of directories that will be searched (in order) when
`include directives are encountered. This is similar
to the "include directories" for Verilog-XL. Any
includes with relative path names are searched for in (1)
the current directory, then (2) these include dirs, in the
specified order.
- defines — vl-defines
- A list of initial definitions (i.e., `defines) that
will be given to the preprocessor. You may want to
see vl-make-initial-defines, and you should probably
be aware of the scope-of-defines.
- plusargs — string-listp
- List of plusargs for functions like $test$plusargs.
These should have no leading + characters. For
instance, using :plusargs (list "foo" "bar") is
intended to be equivalent to passing +foo +bar to a
Verilog simulator as command-line options.
- filemapp — booleanp
- This flag controls whether a vl-filemap-p will be
constructed for the files we have loaded. You may wish to
turn this off to save some memory.
- debugp — booleanp
- Enable high-level loader debugging features that may be
expensive.
- flush-tries — posp
- How many rounds of vl-flush-out-descriptions are
allowed.
- mintime — mintime
- Minimum time threshold for performance messages.
Subtopics
- Vl-loadconfig-p
- Recognizer for vl-loadconfig structures.
- Vl-loadconfig-fix
- Fixing function for vl-loadconfig structures.
- Make-vl-loadconfig
- Basic constructor macro for vl-loadconfig structures.
- Vl-loadconfig-clean
- Normalize a load configuration to avoid, e.g., redundant search paths
and extensions.
- Vl-loadconfig-equiv
- Basic equivalence relation for vl-loadconfig structures.
- Change-vl-loadconfig
- Modifying constructor for vl-loadconfig structures.
- Vl-loadconfig->include-dirs
- Get the include-dirs field from a vl-loadconfig.
- Vl-loadconfig->start-names
- Get the start-names field from a vl-loadconfig.
- Vl-loadconfig->start-files
- Get the start-files field from a vl-loadconfig.
- Vl-loadconfig->search-path
- Get the search-path field from a vl-loadconfig.
- Vl-loadconfig->search-exts
- Get the search-exts field from a vl-loadconfig.
- Vl-loadconfig->plusargs
- Get the plusargs field from a vl-loadconfig.
- Vl-loadconfig->flush-tries
- Get the flush-tries field from a vl-loadconfig.
- Vl-loadconfig->strictp
- Get the strictp field from a vl-loadconfig.
- Vl-loadconfig->mintime
- Get the mintime field from a vl-loadconfig.
- Vl-loadconfig->filemapp
- Get the filemapp field from a vl-loadconfig.
- Vl-loadconfig->edition
- Get the edition field from a vl-loadconfig.
- Vl-loadconfig->defines
- Get the defines field from a vl-loadconfig.
- Vl-loadconfig->debugp
- Get the debugp field from a vl-loadconfig.
