• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
        • Transforms
        • Lint
        • Mlib
          • Scopestack
          • Filtering-by-name
          • Vl-namefactory
          • Substitution
          • Allexprs
          • Hid-tools
          • Vl-consteval
          • Range-tools
          • Lvalexprs
          • Hierarchy
            • Vl-remove-unnecessary-elements
            • Vl-necessary-elements-transitive
            • Vl-dependent-elements-transitive
            • Vl-necessary-elements-direct
            • Vl-modulelist-everinstanced
            • Vl-dependent-elements-direct
            • Vl-modulelist-toplevel
            • Vl-design-deporder-modules
            • Vl-design-check-complete
            • Vl-design-upgraph
            • Immdeps
              • Immdeps-main
                • Vl-expr-immdeps
                • Vl-atomguts-immdeps
                • Vl-maybe-delayoreventcontrol-immdeps
                • Vl-packeddimensionlist-immdeps
                • Vl-namedparamvaluelist-immdeps
                • Vl-maybe-packeddimension-immdeps
                • Vl-delayoreventcontrol-immdeps
                • Vl-repeateventcontrol-immdeps
                • Vl-packeddimension-immdeps
                • Vl-namedparamvalue-immdeps
                • Vl-maybe-paramvalue-immdeps
                • Vl-paramvaluelist-immdeps
                • Vl-maybe-gatedelay-immdeps
                • Vl-maybe-datatype-immdeps
                • Vl-plainarglist-immdeps
                • Vl-paramtype-immdeps
                • Vl-namedarglist-immdeps
                • Vl-eventcontrol-immdeps
                • Vl-enumitemlist-immdeps
                • Vl-enumbasetype-immdeps
                • Vl-enumbasekind-immdeps
                • Vl-delaycontrol-immdeps
                • Vl-argumentlist-immdeps
                • Vl-paramvalue-immdeps
                • Vl-paramargs-immdeps
                • Vl-maybe-range-immdeps
                • Vl-maybe-expr-immdeps
                • Vl-gatedelay-immdeps
                • Vl-evatomlist-immdeps
                • Vl-arguments-immdeps
                • Vl-rangelist-immdeps
                • Vl-plainarg-immdeps
                • Vl-namedarg-immdeps
                • Vl-enumitem-immdeps
                • Vl-range-immdeps
                • Vl-modelement-immdeps
                • Vl-evatom-immdeps
                • Vl-interfaceportlist-immdeps
                • Vl-regularportlist-immdeps
                • Vl-modport-portlist-immdeps
                • Vl-interfaceport-immdeps
                • Vl-taskdecllist-immdeps
                • Vl-taskdecl-immdeps
                • Vl-portdecllist-immdeps
                • Vl-paramdecllist-immdeps
                • Vl-modport-port-immdeps
                • Vl-gateinstlist-immdeps
                • Vl-fundecl-immdeps
                • Vl-vardecllist-immdeps
                • Vl-typedeflist-immdeps
                • Vl-regularport-immdeps
                • Vl-paramdecl-immdeps
                • Vl-modportlist-immdeps
                • Vl-modinstlist-immdeps
                • Vl-modinst-immdeps
                • Vl-initiallist-immdeps
                • Vl-importlist-immdeps
                • Vl-gateinst-immdeps
                • Vl-fundecllist-immdeps
                • Vl-assignlist-immdeps
                • Vl-alwayslist-immdeps
                • Vl-vardecl-immdeps
                • Vl-typedef-immdeps
                • Vl-portlist-immdeps
                • Vl-portdecl-immdeps
                • Vl-modport-immdeps
                • Vl-initial-immdeps
                • Vl-assign-immdeps
                • Vl-aliaslist-immdeps
                • Vl-port-immdeps
                • Vl-import-immdeps
                • Vl-always-immdeps
                • Vl-alias-immdeps
              • Vl-immdeps
              • Immdeps-top
              • Vl-immdepgraph
              • Vl-depgraph
            • Vl-design-downgraph
            • Vl-collect-dependencies
            • Vl-hierarchy-free
          • Finding-by-name
          • Expr-tools
          • Expr-slicing
          • Stripping-functions
          • Stmt-tools
          • Modnamespace
          • Vl-parse-expr-from-str
          • Welltyped
          • Reordering-by-name
          • Flat-warnings
          • Genblob
          • Expr-building
          • Datatype-tools
          • Syscalls
          • Relocate
          • Expr-cleaning
          • Namemangle
          • Caremask
          • Port-tools
          • Lvalues
        • Server
        • Kit
        • Printer
        • Esim-vl
        • Well-formedness
      • Sv
      • Fgl
      • Vwsim
      • Vl
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Immdeps

Immdeps-main

Main functions for gathering immediate dependencies from parse tree elements.

Subtopics

Vl-expr-immdeps
Gather immediate dependencies for an expression.
Vl-atomguts-immdeps
Gather immediate dependencies from an atom.
Vl-maybe-delayoreventcontrol-immdeps
Vl-packeddimensionlist-immdeps
Vl-namedparamvaluelist-immdeps
Vl-maybe-packeddimension-immdeps
Vl-delayoreventcontrol-immdeps
Vl-repeateventcontrol-immdeps
Vl-packeddimension-immdeps
Vl-namedparamvalue-immdeps
Vl-maybe-paramvalue-immdeps
Vl-paramvaluelist-immdeps
Vl-maybe-gatedelay-immdeps
Vl-maybe-datatype-immdeps
Vl-plainarglist-immdeps
Vl-paramtype-immdeps
Vl-namedarglist-immdeps
Vl-eventcontrol-immdeps
Vl-enumitemlist-immdeps
Vl-enumbasetype-immdeps
Vl-enumbasekind-immdeps
Vl-delaycontrol-immdeps
Vl-argumentlist-immdeps
Vl-paramvalue-immdeps
Vl-paramargs-immdeps
Vl-maybe-range-immdeps
Vl-maybe-expr-immdeps
Vl-gatedelay-immdeps
Vl-evatomlist-immdeps
Vl-arguments-immdeps
Vl-rangelist-immdeps
Vl-plainarg-immdeps
Vl-namedarg-immdeps
Vl-enumitem-immdeps
Vl-range-immdeps
Vl-modelement-immdeps
Vl-evatom-immdeps
Vl-interfaceportlist-immdeps
Vl-regularportlist-immdeps
Vl-modport-portlist-immdeps
Vl-interfaceport-immdeps
Vl-taskdecllist-immdeps
Vl-taskdecl-immdeps
Vl-portdecllist-immdeps
Vl-paramdecllist-immdeps
Vl-modport-port-immdeps
Vl-gateinstlist-immdeps
Vl-fundecl-immdeps
Vl-vardecllist-immdeps
Vl-typedeflist-immdeps
Vl-regularport-immdeps
Vl-paramdecl-immdeps
Vl-modportlist-immdeps
Vl-modinstlist-immdeps
Vl-modinst-immdeps
Vl-initiallist-immdeps
Vl-importlist-immdeps
Vl-gateinst-immdeps
Vl-fundecllist-immdeps
Vl-assignlist-immdeps
Vl-alwayslist-immdeps
Vl-vardecl-immdeps
Vl-typedef-immdeps
Vl-portlist-immdeps
Vl-portdecl-immdeps
Vl-modport-immdeps
Vl-initial-immdeps
Vl-assign-immdeps
Vl-aliaslist-immdeps
Vl-port-immdeps
Vl-import-immdeps
Vl-always-immdeps
Vl-alias-immdeps