• 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
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
          • Scopestack
          • Hid-tools
          • Filtering-by-name
          • Vl-interface-mocktype
          • Stripping-functions
          • Genblob
          • Expr-tools
          • Extract-vl-types
          • Hierarchy
            • Vl-design-toplevel
            • Vl-remove-unnecessary-elements
            • Vl-necessary-elements-transitive
            • Vl-interfacelist-everinstanced
            • Vl-dependent-elements-transitive
            • Vl-necessary-elements-direct
            • Vl-modulelist-everinstanced
            • Vl-dependent-elements-direct
            • Vl-design-deporder-modules
            • Vl-design-check-complete
            • Vl-design-upgraph
            • Immdeps
              • Immdeps-main
              • Vl-immdeps
              • Immdeps-top
              • Vl-immdepgraph
              • Vl-depgraph
            • Vl-design-downgraph
            • Vl-collect-dependencies
            • Vl-hierarchy-free
          • Range-tools
          • Finding-by-name
          • Stmt-tools
          • Modnamespace
          • Flat-warnings
          • Reordering-by-name
          • Datatype-tools
          • Syscalls
          • Allexprs
          • Lvalues
          • Port-tools
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Hierarchy

Immdeps

Functions for collecting the immediate dependencies for various kinds of descriptions, i.e., for collecting the edges of the hierarchy graph.

The top-level function here is vl-design-immdeps, which produces a vl-immdepgraph-p which has information about the immediate dependencies between the design elements and any missing dependencies.

Subtopics

Immdeps-main
Main functions for gathering immediate dependencies from parse tree elements.
Vl-immdeps
Results of collecting up immediate dependencies.
Immdeps-top
Functions for gathering immediate dependencies from top-level design elements.
Vl-immdepgraph
Immediate dependency graph.
Vl-depgraph
A basic dependency graph. Binds each node to the list of nodes it depends on. The format is compatible with depgraph::toposort.