• 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
          • Expression-sizing
          • Occform
          • Oprewrite
          • Expand-functions
          • Delayredux
          • Unparameterization
          • Caseelim
          • Split
          • Selresolve
          • Weirdint-elim
          • Vl-delta
          • Replicate-insts
          • Rangeresolve
          • Propagate
          • Clean-selects
          • Clean-params
          • Blankargs
          • Inline-mods
          • Expr-simp
          • Trunc
          • Always-top
          • Gatesplit
          • Gate-elim
          • Expression-optimization
          • Elim-supplies
          • Wildelim
          • Drop-blankports
          • Clean-warnings
          • Addinstnames
          • Custom-transform-hooks
          • Annotate
            • Make-implicit-wires
            • Resolve-indexing
            • Origexprs
            • Argresolve
            • Portdecl-sign
            • Designwires
            • Udp-elim
            • Vl-annotate-design
          • Latchcode
          • Elim-unused-vars
          • Problem-modules
        • Lint
        • Mlib
        • Server
        • Kit
        • Printer
        • Esim-vl
        • Well-formedness
      • Sv
      • Fgl
      • Vwsim
      • Vl
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Transforms

Annotate

A first step in most transformation sequences. Applies several basic, preliminary transforms to normalize the original design.

Subtopics

Make-implicit-wires
Add declarations for implicit wires.
Resolve-indexing
Resolve :vl-index operators that are applied to simple bitvectors into :vl-bitselect operators.
Origexprs
Add VL_ORIG_EXPR annotations to some expressions.
Argresolve
Converts named argument lists into plain argument lists, and annotates each plain argument with its direction.
Portdecl-sign
Fix up type (signedness) information between port and variable declarations.
Designwires
Introduce VL_DESIGN_WIRE annotations that say which wires/regs were in the original Verilog modules.
Udp-elim
Eliminate user-defined primitives (UDPs), replacing them with equivalent modules.
Vl-annotate-design
Top level annotate transform.