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

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Wed Mar 07 2007 - 16:45:38 PST
Because the types of part-selects are array types, it's easy for them to
match.

According to 6.9.1.f --

  "Two array types match if they have the same number of unpacked
dimensions and their slowest varying dimensions have matching types and
the same left and right range bounds."

There is an important ontological distinction in SV between array types,
which can be thought of as always already existing, and enum, struct and
union types, which do not exist until they are declared in some
particular instance.  

-- Brad

[ In reply to http://www.eda-stds.org/sv-bc/hm/5661.html .]


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Mar 7 16:45:56 2007

This archive was generated by hypermail 2.1.8 : Wed Mar 07 2007 - 16:46:12 PST