• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
          • Preprocessor
          • Vl-loadconfig
          • Vl-loadstate
          • Lexer
          • Parser
          • Vl-load-merge-descriptions
          • Vl-find-basename/extension
          • Vl-load-file
          • Vl-loadresult
            • Vl-loadresult-fix
            • Vl-loadresult-equiv
            • Make-vl-loadresult
            • Vl-loadresult-p
            • Vl-loadresult->ifdefmap
            • Change-vl-loadresult
            • Vl-loadresult->filemap
            • Vl-loadresult->design
            • Vl-loadresult->defmap
            • Vl-loadresult->defines
          • Scope-of-defines
          • Vl-find-file
          • Vl-flush-out-descriptions
          • Vl-description
          • Vl-read-file
          • Vl-includeskips-report-gather
          • Vl-load-main
          • Extended-characters
          • Vl-load
          • Vl-load-description
          • Vl-descriptions-left-to-load
          • Inject-warnings
          • Vl-preprocess-debug
          • Vl-write-preprocessor-debug-file
          • Vl-read-file-report-gather
          • Vl-load-descriptions
          • Vl-load-files
          • Translate-off
          • Vl-load-read-file-hook
          • Vl-read-file-report
          • Vl-loadstate-pad
          • Vl-load-summary
          • Vl-collect-modules-from-descriptions
          • Vl-loadstate->warnings
          • Vl-iskips-report
          • Vl-descriptionlist
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Loader

Vl-loadresult

Return value from vl-load.

This is a product type introduced by defprod.

Fields
design — vl-design
The design that we loaded. The contents of the design have been only minimally transformed (e.g., to add declarations for implicit wires). They meant to closely reflect the actual source code as it occurs on the disk.
filemap — vl-filemap
Alist mapping file names to their original, unmodified contents as strings. This can be useful for interactively looking at module definitions, but takes some memory. You can control whether a filemap is generated in your vl-loadconfig-p.
defines — vl-defines
Final defines that we ended up with. This can be useful for extracting the values of `defines. See also scope-of-defines.
ifdefmap — vl-ifdef-use-map
Map of where `defines were used in `ifdefs.
defmap — vl-def-use-map
Map of where `defines were used in non-`ifdef contexts.

Subtopics

Vl-loadresult-fix
Fixing function for vl-loadresult structures.
Vl-loadresult-equiv
Basic equivalence relation for vl-loadresult structures.
Make-vl-loadresult
Basic constructor macro for vl-loadresult structures.
Vl-loadresult-p
Recognizer for vl-loadresult structures.
Vl-loadresult->ifdefmap
Get the ifdefmap field from a vl-loadresult.
Change-vl-loadresult
Modifying constructor for vl-loadresult structures.
Vl-loadresult->filemap
Get the filemap field from a vl-loadresult.
Vl-loadresult->design
Get the design field from a vl-loadresult.
Vl-loadresult->defmap
Get the defmap field from a vl-loadresult.
Vl-loadresult->defines
Get the defines field from a vl-loadresult.