• 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
            • Vl-interfaceportlist->ifnames
            • Vl-blockscope
            • Vl-scope-find-item
            • Vl-scopestack-find-item/ss/package
            • Vl-importlist-find-explicit-item
            • Vl-scopestack-find-item/context
            • Vl-importlist-find-implicit-item
            • Vl-import-stars-find-item
            • Vl-scopeinfo
            • Vl-importlist->explicit-item-alist
            • Vl-scopestack-find-definition/ss
            • Vl-scopeitem
              • Vl-scopeitem-p
              • Vl-scopeitem-fix
              • Vl-maybe-scopeitem
              • Vl-scopeitem-equiv
              • Vl-scopeitem-alist-count
              • Vl-scopeitem-alist
              • Vl-scopeitemlist
            • Vl-scopestack-find-package/ss
            • Vl-scopestack
            • Vl-scopeinfo-find-item
            • Vl-scopestack-find-item/ss
            • Vl-scopestack-find-class/ss
            • Scopestack-constants
            • Vl-scope-namespace
            • Vl-maybe-scope
            • Vl-importresult
            • Vl-scopestack-push
            • Vl-import-stars-itemnames
            • Vl-scope->scopeinfo
            • Vl-scope-find-item-fast
            • Vl-interface-scope-find-item
            • Vl-genblob-scope-find-item
            • Vl-module-scope-find-item
            • Vl-design-scope-find-definition
            • Vl-scopestack-find-item
            • Vl-scopestack-find-definition
            • Vl-scopeinfo->itemnames
            • Vl-scope-find-portdecl
            • Vl-scope-find-definition
            • Vl-package-scope-find-item
            • Vl-interface-scope-find-portdecl
            • Vl-genblob-scope-find-portdecl
            • Vl-design-scope-find-item
            • Vl-blockscope-scope-find-item
            • Vl-scopestack-find-package
            • Vl-scope-find-package
            • Vl-module-scope-find-portdecl
            • Vl-design-scope-find-package
            • Vl-design-scope-find-class
            • Vl-class-scope-find-item
            • Vl-scopestack-find-class
            • Vl-scope-find-class
            • Vl-scopestack->hashkey
            • Vl-scope-find-portdecl-fast
            • Vl-package-scope-item-alist-top
            • Vl-scopestack->path-aux
            • Vl-scopedef
            • Vl-scope-portdecl-alist
            • Vl-scope-package-alist
            • Vl-scope-find-definition-fast
            • Vl-scope-definition-alist
            • Vl-scope-find-package-fast
            • Vl-scope-find-class-fast
            • Vl-scope-class-alist
            • Vl-scopestack->path
            • Vl-scopestack->design
            • Vl-scopeitem->name
            • Vl-scope
            • Vl-scopestack-init
            • Vl-importlist->star-packages
            • Vl-scopestack-pop
            • Vl-scopestack-nesting-level
            • Vl-scopestack->toplevel
            • Vl-scope->scopetype
            • Vl-scope->id
            • Vl-design-scope-package-alist-top
            • Vl-bindlist->modinsts
            • Vl-scopestack-toplevel-p
            • Vl-scopestacks-free
            • Vl-importresult-alist
          • Hid-tools
          • Filtering-by-name
          • Vl-interface-mocktype
          • Stripping-functions
          • Genblob
          • Expr-tools
          • Extract-vl-types
          • Hierarchy
          • 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
  • Scopestack

Vl-scopeitem

Recognizer for Verilog structures that can occur as scope items.

This is a ``transparent'' sum type introduced using deftranssum. It is simply any one of the following types:

  • vl-modinst
  • vl-gateinst
  • vl-genvar
  • vl-genelement
  • vl-interfaceport
  • vl-modport
  • vl-paramdecl
  • vl-vardecl
  • vl-fundecl
  • vl-taskdecl
  • vl-typedef
  • vl-dpiimport

See scopestack. The items are only a subset of Verilog declarations like parameter declarations, module instances, etc., i.e., the kinds of things that can be found by vl-scopestack-find-item. It does not, e.g., for definitions, packages, etc.

Subtopics

Vl-scopeitem-p
Recognizer for vl-scopeitem.
Vl-scopeitem-fix
(vl-scopeitem-fix x) is a fty fixing function.
Vl-maybe-scopeitem
Option type; vl-scopeitem or nil.
Vl-scopeitem-equiv
Basic equivalence relation for vl-scopeitem structures.
Vl-scopeitem-alist-count
Vl-scopeitem-alist
An alist mapping stringp to vl-scopeitem-p.
Vl-scopeitemlist
A list of vl-scopeitem-p objects.