RE: [sv-bc] Re: What is the type of a slice?

[In response to http://www.eda.org/sv-bc/hm/11755.html .]



We could and should fully define the results of the type() operator. Let's decide whether in the following, (COPY select) is guaranteed to be the same as (ORIGINAL select), where select in A.8.4 stands for bit-select, part-select, indexed-part-select and field access.



            var type(ORIGINAL select) COPY;

            COPY = (ORIGINAL select);

            // (COPY select) == (ORIGINAL select) ?



For example,



            byte A[16];

            var type(A[5:7]) B;

            B = A[5:7];

            // B[5:7] == A[5:7] ?



If not, then let's agree on a canonicalization for slices, such as down to 0 or up to 0.

-- Brad


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.