• 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-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-binddelta-p
                • Vl-binddelta-fix
                • Vl-bindintent
                • Vl-binddelta-equiv
                • Vl-bindintentlist
              • 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-binddelta

Table that summarizes our intended changes to the design in order to process all supported bind statements.

This is an ordinary fty::defalist.

Subtopics

Vl-binddelta-p
Recognizer for vl-binddelta.
Vl-binddelta-fix
(vl-binddelta-fix x) is an fty alist fixing function that follows the fix-keys strategy.
Vl-bindintent
An intent to bind additional submodules, and where it comes from.
Vl-binddelta-equiv
Basic equivalence relation for vl-binddelta structures.
Vl-bindintentlist
A list of vl-bindintent-p objects.