• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
        • Transforms
          • Unparameterization
          • Elaborate
          • Addnames
          • Annotate
            • Increment-elim
            • Make-implicit-wires
            • Basic-bind-elim
            • Argresolve
            • Basicsanity
            • Portdecl-sign
            • Enum-names
            • Port-resolve
            • Udp-elim
              • Vl-udp-vardecls-from-portdecls
              • Vl-udps-to-modules
              • Vl-udpline-match-expr
              • Vl-combinational-udptable-synth
              • Vl-udptable-assignrhs
              • Vl-udp-to-module
              • Vl-udp-vardecl-from-portdecl
              • Vl-design-udp-elim
            • Vl-annotate-design
            • Vl-annotate-module
          • Clean-warnings
          • Eliminitial
          • Custom-transform-hooks
          • Problem-modules
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Testing-utilities
    • Math
  • Annotate

Udp-elim

Eliminate user-defined primitives (UDPs), replacing them with equivalent modules.

This transform eliminates all user-defined primitives from a design, replacing them with modules. When the UDPs are simple enough to support, we can create replace them with equivalent modules. In other cases, e.g., when the UDP includes scary, nonsensical X behavior, we may simply create a shell module that includes fatal warnings.

Subtopics

Vl-udp-vardecls-from-portdecls
(vl-udp-vardecls-from-portdecls x) maps vl-udp-vardecl-from-portdecl across a list.
Vl-udps-to-modules
(vl-udps-to-modules x) maps vl-udp-to-module across a list.
Vl-udpline-match-expr
Vl-combinational-udptable-synth
Translate a combinational UDP table into an assignment.
Vl-udptable-assignrhs
Vl-udp-to-module
Convert a UDP into a module.
Vl-udp-vardecl-from-portdecl
Vl-design-udp-elim