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

I meant that if we want to apply a part select on an expression that has
a complex data type (such as an expression of one of the kinds that I
listed in the other mail that I sent a few minutes ago), then we can not
"model" the part select using the shift operator, since the shift
operator can not be applied on complex data types (such as an unpacked
array, for example).

For example, if we have a cast operator casting to an unpacked array,
you can't apply the shift operator on the result. However, there is no
syntactic/semantic problem to apply a part select on such cast operator
(now that I write this, I understand that I mistakenly mentioned the
type operator instead of the cast operator in the previous mail that I
have sent).

--Yulik.

-----Original Message-----
From: Adam Krolnik [mailto:adam.krolnik@verisilicon.com] 
Sent: Wednesday, March 07, 2007 4:57 PM
To: Feldman, Yulik
Cc: Bresticker, Shalom; sv-bc@eda.org
Subject: Re: [sv-bc] part selects on arbitrary expressions


Hello Mr Feldman;

You wrote:

Another problem is that this approach can not be used with types other
than simple one-dimensional packed arrays.



Can you give some examples so the discussion is more complete for 
everyone  ?

  Thanks.

-- 
    Soli Deo Gloria
    Adam Krolnik
    Director of Design Verification
    VeriSilicon Inc.
    Plano TX. 75074
    Co-author "Assertion-Based Design"

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