Options for how to load Verilog modules.
This is a product type introduced by defprod.
- edition — vl-edition-p
- Which standard are we implementing, e.g., IEEE Std
1364-2005 (Verilog) or IEEE Std
- 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
- 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
- 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
- flush-tries — posp
- How many rounds of vl-flush-out-descriptions are
- mintime — mintime
- Minimum time threshold for performance messages.
- Recognizer for vl-loadconfig structures.
- Fixing function for vl-loadconfig structures.
- Basic constructor macro for vl-loadconfig structures.
- Normalize a load configuration to avoid, e.g., redundant search paths
- Basic equivalence relation for vl-loadconfig structures.
- Modifying constructor for vl-loadconfig structures.
- Get the include-dirs field from a vl-loadconfig.
- Get the start-names field from a vl-loadconfig.
- Get the start-files field from a vl-loadconfig.
- Get the search-path field from a vl-loadconfig.
- Get the search-exts field from a vl-loadconfig.
- Get the plusargs field from a vl-loadconfig.
- Get the flush-tries field from a vl-loadconfig.
- Get the strictp field from a vl-loadconfig.
- Get the mintime field from a vl-loadconfig.
- Get the filemapp field from a vl-loadconfig.
- Get the edition field from a vl-loadconfig.
- Get the defines field from a vl-loadconfig.
- Get the debugp field from a vl-loadconfig.