• 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
          • Finding-by-name
            • Fast-finding-by-name
              • Vl-interfaceportlist-alist
              • Vl-genelementlist-alist
              • Vl-vardecllist-alist
              • Vl-portdecllist-alist
              • Vl-paramdecllist-alist
              • Vl-interfacelist-alist
              • Vl-gateinstlist-alist
              • Vl-fundecllist-alist
              • Vl-typedeflist-alist
              • Vl-taskdecllist-alist
              • Vl-programlist-alist
              • Vl-packagelist-alist
              • Vl-modulelist-alist
              • Vl-modportlist-alist
              • Vl-modinstlist-alist
              • Vl-configlist-alist
              • Vl-udplist-alist
              • Vl-vardecl-alist
              • Vl-typedef-alist
              • Vl-taskdecl-alist
              • Vl-program-alist
              • Vl-portdecl-alist
              • Vl-paramdecl-alist
              • Vl-package-alist
              • Vl-module-alist
              • Vl-modport-alist
              • Vl-modinst-alist
              • Vl-interfaceport-alist
              • Vl-interface-alist
              • Vl-genelement-alist
              • Vl-gateinst-alist
              • Vl-fundecl-alist
              • Vl-config-alist
              • Vl-udp-alist
            • Vl-find-interfaceport
            • Vl-find-portdecl
            • Vl-find-taskdecl
            • Vl-find-paramdecl
            • Vl-find-interface
            • Vl-find-gateinst
            • Vl-find-vardecl
            • Vl-find-typedef
            • Vl-find-program
            • Vl-find-package
            • Vl-find-module
            • Vl-find-modport
            • Vl-find-modinst
            • Vl-find-genelement
            • Vl-find-fundecl
            • Vl-find-config
            • Vl-modalist
            • Vl-find-udp
            • Vl-make-portdecl-alist
            • Vl-fast-find-module
            • Vl-fast-find-portdecl
          • 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
      • Vwsim
      • Fgl
      • Vl
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Finding-by-name

Fast-finding-by-name

Utilities for building alists for doing fast-alist lookups.

Subtopics

Vl-interfaceportlist-alist
Extend an alist by binding the names of vl-interfaceports to their definitions.
Vl-genelementlist-alist
Extend an alist by binding the names of vl-genelements to their definitions.
Vl-vardecllist-alist
Extend an alist by binding the names of vl-vardecls to their definitions.
Vl-portdecllist-alist
Extend an alist by binding the names of vl-portdecls to their definitions.
Vl-paramdecllist-alist
Extend an alist by binding the names of vl-paramdecls to their definitions.
Vl-interfacelist-alist
Extend an alist by binding the names of vl-interfaces to their definitions.
Vl-gateinstlist-alist
Extend an alist by binding the names of vl-gateinsts to their definitions.
Vl-fundecllist-alist
Extend an alist by binding the names of vl-fundecls to their definitions.
Vl-typedeflist-alist
Extend an alist by binding the names of vl-typedefs to their definitions.
Vl-taskdecllist-alist
Extend an alist by binding the names of vl-taskdecls to their definitions.
Vl-programlist-alist
Extend an alist by binding the names of vl-programs to their definitions.
Vl-packagelist-alist
Extend an alist by binding the names of vl-packages to their definitions.
Vl-modulelist-alist
Extend an alist by binding the names of vl-modules to their definitions.
Vl-modportlist-alist
Extend an alist by binding the names of vl-modports to their definitions.
Vl-modinstlist-alist
Extend an alist by binding the names of vl-modinsts to their definitions.
Vl-configlist-alist
Extend an alist by binding the names of vl-configs to their definitions.
Vl-udplist-alist
Extend an alist by binding the names of vl-udps to their definitions.
Vl-vardecl-alist
An alist mapping stringp to vl-vardecl-p.
Vl-typedef-alist
An alist mapping stringp to vl-typedef-p.
Vl-taskdecl-alist
An alist mapping stringp to vl-taskdecl-p.
Vl-program-alist
An alist mapping stringp to vl-program-p.
Vl-portdecl-alist
An alist mapping stringp to vl-portdecl-p.
Vl-paramdecl-alist
An alist mapping stringp to vl-paramdecl-p.
Vl-package-alist
An alist mapping stringp to vl-package-p.
Vl-module-alist
An alist mapping stringp to vl-module-p.
Vl-modport-alist
An alist mapping stringp to vl-modport-p.
Vl-modinst-alist
An alist mapping stringp to vl-modinst-p.
Vl-interfaceport-alist
An alist mapping stringp to vl-interfaceport-p.
Vl-interface-alist
An alist mapping stringp to vl-interface-p.
Vl-genelement-alist
An alist mapping stringp to vl-genelement-p.
Vl-gateinst-alist
An alist mapping stringp to vl-gateinst-p.
Vl-fundecl-alist
An alist mapping stringp to vl-fundecl-p.
Vl-config-alist
An alist mapping stringp to vl-config-p.
Vl-udp-alist
An alist mapping stringp to vl-udp-p.