• 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
        • 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
          • Vl-relocate-paramdecls
          • Vl-relocate-portdecls
          • Vl-relocate-gateinsts
          • Vl-relocate-vardecls
          • Vl-relocate-modinsts
          • Vl-relocate-assigns
        • 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

• Mlib

Relocate

Functions to change the locations of various module elements.

It is sometimes useful to move module elements to some new location, e.g., when we are inlining elements from one module into another. These are just some utilities to perform such relocations.

Subtopics

Vl-relocate-paramdecls

(vl-relocate-paramdecls loc x) maps change-vl-paramdecl across a list.

Vl-relocate-portdecls

(vl-relocate-portdecls loc x) maps change-vl-portdecl across a list.

Vl-relocate-gateinsts

(vl-relocate-gateinsts loc x) maps change-vl-gateinst across a list.

Vl-relocate-vardecls

(vl-relocate-vardecls loc x) maps change-vl-vardecl across a list.

Vl-relocate-modinsts

(vl-relocate-modinsts loc x) maps change-vl-modinst across a list.

Vl-relocate-assigns

(vl-relocate-assigns loc x) maps change-vl-assign across a list.