• 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
      • Transforms
        • Unparameterization
        • Elaborate
        • Addnames
        • Annotate
          • Increment-elim
          • Make-implicit-wires
          • Basic-bind-elim
            • Vl-modulelist-apply-binddelta
            • Vl-interfacelist-apply-binddelta
            • Vl-bindelim-main
            • Vl-bindelim-bindlist
            • Vl-bindelim-find-global-target
            • Vl-interfacelist-bindelim
            • Vl-modulelist-bindelim
            • Vl-interface-bindelim
            • Vl-module-bindelim
            • Vl-bindelim-institem
              • Vl-bindelim-institem-fix
              • Vl-bindelim-institem-equiv
              • Make-vl-bindelim-institem
              • Vl-bindelim-institem->inst
              • Vl-bindelim-institem->ctx
              • Vl-bindelim-institem->bindp
              • Vl-bindelim-institem->genp
              • Change-vl-bindelim-institem
              • Vl-bindelim-institem-p
            • Vl-warn-bindintentlist-undefined
            • Vl-warn-bindintent-undefined
            • Vl-interfacelist-bindelim-insttable
            • Vl-modulelist-bindelim-insttable
            • Vl-warn-binddelta-undefined
            • Vl-interface-bindelim-insttable
            • Vl-interface-apply-binddelta
            • Vl-design-bindelim-pass2
            • Vl-bindelim-modinstlist-add-atts
            • Vl-module-bindelim-insttable
            • Vl-module-apply-binddelta
            • Vl-bindelim-modinst-add-atts
            • Vl-design-bindelim-pass1
            • Vl-bindcontext
            • Vl-bindintent->modinsts
            • Vl-bindelim-insttable
            • Vl-bindintentlist->modinsts
            • Vl-binddelta
            • Vl-design-bindelim
            • Vl-bindelim-institemlist
          • Argresolve
          • Basicsanity
          • Portdecl-sign
          • Enum-names
          • Port-resolve
          • Udp-elim
          • Vl-annotate-design
          • Vl-annotate-module
        • Clean-warnings
        • Eliminitial
        • Custom-transform-hooks
        • Problem-modules
    • X86isa
    • Svl
    • Rtl
  • Software-verification
  • Math
  • Testing-utilities

• Basic-bind-elim

Vl-bindelim-institem

This is a product type introduced by defprod.

Fields

inst — vl-modinst

A module instance we found.

genp — booleanp

Does this instance occur inside some generate?

bindp — booleanp

Is this an instance from within a bind statement?

ctx — vl-bindcontext

Usually: the module where we found the instance. But it could also be, e.g., the top level design, if this instance is within a top-level bind.

Subtopics

Vl-bindelim-institem-fix

Fixing function for vl-bindelim-institem structures.

Vl-bindelim-institem-equiv

Basic equivalence relation for vl-bindelim-institem structures.

Make-vl-bindelim-institem

Basic constructor macro for vl-bindelim-institem structures.

Vl-bindelim-institem->inst

Get the inst field from a vl-bindelim-institem.

Vl-bindelim-institem->ctx

Get the ctx field from a vl-bindelim-institem.

Vl-bindelim-institem->bindp

Get the bindp field from a vl-bindelim-institem.

Vl-bindelim-institem->genp

Get the genp field from a vl-bindelim-institem.

Change-vl-bindelim-institem

Modifying constructor for vl-bindelim-institem structures.

Vl-bindelim-institem-p

Recognizer for vl-bindelim-institem structures.