• 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
            • Vl-plainarglist-clean-selects
            • Vl-namedarglist-clean-selects
            • Vl-gateinstlist-clean-selects
            • Vl-modinstlist-clean-selects
            • Vl-initiallist-clean-selects
            • Vl-modulelist-clean-selects
            • Vl-assignlist-clean-selects
            • Vl-alwayslist-clean-selects
            • Vl-portlist-clean-selects
            • Vl-stmt-clean-selects
            • Vl-module-clean-selects
            • Vl-plainarg-clean-selects
            • Vl-namedarg-clean-selects
            • Vl-gateinst-clean-selects
            • Vl-arguments-clean-selects
            • Vl-port-clean-selects
            • Vl-modinst-clean-selects
            • Vl-maybe-expr-clean-selects
            • Vl-initial-clean-selects
            • Vl-assign-clean-selects
            • Vl-always-clean-selects
            • Vl-design-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
          • 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

Clean-selects

Simplify concatenations and selects throughout a module.

This is a mainly aesthetic transform that applies vl-expr-clean-selects throughout modules. This may help to make certain concatenation and select expressions more readable.

Implementation-wise, this is the usual boilerplate to extend vl-expr-clean-selects through the parse tree, except that we aren't going to go through ranges: we only do this in assignments, instances, and statements, where we expect to see wires.

Subtopics

Vl-plainarglist-clean-selects
(vl-plainarglist-clean-selects x ss) maps vl-plainarg-clean-selects across a list.
Vl-namedarglist-clean-selects
(vl-namedarglist-clean-selects x ss) maps vl-namedarg-clean-selects across a list.
Vl-gateinstlist-clean-selects
(vl-gateinstlist-clean-selects x ss) maps vl-gateinst-clean-selects across a list.
Vl-modinstlist-clean-selects
(vl-modinstlist-clean-selects x ss) maps vl-modinst-clean-selects across a list.
Vl-initiallist-clean-selects
(vl-initiallist-clean-selects x ss) maps vl-initial-clean-selects across a list.
Vl-modulelist-clean-selects
(vl-modulelist-clean-selects x ss) maps vl-module-clean-selects across a list.
Vl-assignlist-clean-selects
(vl-assignlist-clean-selects x ss) maps vl-assign-clean-selects across a list.
Vl-alwayslist-clean-selects
(vl-alwayslist-clean-selects x ss) maps vl-always-clean-selects across a list.
Vl-portlist-clean-selects
(vl-portlist-clean-selects x ss) maps vl-port-clean-selects across a list.
Vl-stmt-clean-selects
Vl-module-clean-selects
Vl-plainarg-clean-selects
Vl-namedarg-clean-selects
Vl-gateinst-clean-selects
Vl-arguments-clean-selects
Vl-port-clean-selects
Vl-modinst-clean-selects
Vl-maybe-expr-clean-selects
Vl-initial-clean-selects
Vl-assign-clean-selects
Vl-always-clean-selects
Vl-design-clean-selects
Top-level clean-selects transform.