Simplification of ranges, e.g.,
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