Re: [sv-bc] part selects on arbitrary expressions

A type reference such as type(A[7:4]) can be used in a comparison
controlling a generate (as described in 6.10 and 6.9.1).  And it appears
to be legal to ask for $left(type(A[7:4])).  Plus, there's always the
$typename() function of 22.2.

So the meaning of a legal SV program could easily depend on knowing the
exact type of the result of a part-select.  It's not in general enough
to only know the size of that type.

If the LRM has not fully specified the result types of part-selects yet,
that's a serious gap.

Likewise for the result types of the arithmetic operators.

-- Brad




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