• 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
          • Clean-warnings
          • Eliminitial
          • Custom-transform-hooks
          • Problem-modules
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Vl

Transforms

High-level transformations for rewriting and simplifying Verilog modules.

Subtopics

Unparameterization
Expand away modules with parameters; similar to the idea of elaboration of the design.
Elaborate
Resolve constant expressions, parameter values, and datatypes.
Addnames
Name any unnamed gate instances, block statements, generates, etc.
Annotate
Typically the first step after loading a design. Applies several basic, preliminary transforms to normalize the design and check it for well-formedness.
Clean-warnings
A transform to clean up all the warnings in a design.
Eliminitial
Throw away any initial statements and add non-fatal warnings to the affected modules.
Custom-transform-hooks
Ways of extending VL with custom transformations.
Problem-modules
Eliminate modules that (the user says) cause problems.