|
|
|---|
|
|
|
|---|
Simplification of select expressions, e.g.,
It is sometimes useful to statically evaluate indexes into wires and registers, particularly to deal with the results of unparameterization. For instance,
wire a_msb = abus[width-1];
May have been converted into something like:
wire a_msb = abus[6-1];
And in this case it is much nicer to statically resolve this and know that
we are talking about bit
See also the rangeresolve transform.