Re: [sv-bc] Type of a concat expression

From: Steven Sharp <sharp@cadence.com>
Date: Mon Jun 14 2010 - 12:31:48 PDT

The responses so far have covered all aspects of the type of an expression
except the range. The LRM allows concatenations to be indexed as if they
were packed arrays with a range [width-1:0]. It is reasonable to assume
that this is also how type() would treat it.

Other expressions cannot be indexed, so this was apparently never specified
for them. Since comparisons of type() are based on matching types, and that
includes comparisons of the ranges, their range becomes significant, and
should have been specified. I assume everyone would agree that it should
be specified the same way as concatenations, as [width-1:0]

Steven Sharp | Architect | Cadence

P: 508.459.1436 M: 774.535.4149 www.cadence.com

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Jun 14 12:32:10 2010

This archive was generated by hypermail 2.1.8 : Mon Jun 14 2010 - 12:34:53 PDT