• 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
            • Vl-modulelist-rangeresolve
            • Vl-packeddimensionlist-rangeresolve
            • Vl-maybe-packeddimension-rangeresolve
            • Vl-portdecllist-rangeresolve
            • Vl-paramdecllist-rangeresolve
            • Vl-gateinstlist-rangeresolve
            • Vl-enumitemlist-rangeresolve
            • Vl-vardecllist-rangeresolve
            • Vl-paramtype-rangeresolve
            • Vl-modinstlist-rangeresolve
            • Vl-fundecllist-rangeresolve
            • Vl-rangelist-rangeresolve
            • Vl-packeddimension-rangeresolve
            • Vl-maybe-datatype-rangeresolve
            • Vl-fundecl-rangeresolve
            • Vl-enumbasetype-rangeresolve
            • Vl-paramdecl-rangeresolve
            • Vl-rangeresolve
            • Vl-portdecl-rangeresolve
            • Vl-gateinst-rangeresolve
            • Vl-enumitem-rangeresolve
            • Vl-vardecl-rangeresolve
            • Vl-modinst-rangeresolve
            • Vl-maybe-rangeresolve
            • Vl-module-rangeresolve
            • Vl-design-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
          • 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

Rangeresolve

Simplification of ranges, e.g., reg [6-1:0]

We sometimes need to statically evaluate expressions until a constant is reached, particularly to deal with the results of unparameterization. For instance,

reg [width-1:0] r ;

May have been converted into something like:

reg [6-1:0] r ;

And so in order to determine what the size of r is, we need to evaluate these expressions.

Subtopics

Vl-modulelist-rangeresolve
(vl-modulelist-rangeresolve x ss) maps vl-module-rangeresolve across a list.
Vl-packeddimensionlist-rangeresolve
Vl-maybe-packeddimension-rangeresolve
Vl-portdecllist-rangeresolve
Vl-paramdecllist-rangeresolve
Vl-gateinstlist-rangeresolve
Vl-enumitemlist-rangeresolve
Vl-vardecllist-rangeresolve
Vl-paramtype-rangeresolve
Vl-modinstlist-rangeresolve
Vl-fundecllist-rangeresolve
Vl-rangelist-rangeresolve
Vl-packeddimension-rangeresolve
Vl-maybe-datatype-rangeresolve
Vl-fundecl-rangeresolve
Vl-enumbasetype-rangeresolve
Vl-paramdecl-rangeresolve
Vl-rangeresolve
Vl-portdecl-rangeresolve
Vl-gateinst-rangeresolve
Vl-enumitem-rangeresolve
Vl-vardecl-rangeresolve
Vl-modinst-rangeresolve
Vl-maybe-rangeresolve
Vl-module-rangeresolve
Vl-design-rangeresolve