RE: [sv-bc] Is 'let' item allowed to be hierarchically referred?

Hi Surya,

No, I don't think so. You cannot refer to let formals externally. The same thing with sequences, properties, functions, etc. What would be the semantics of this reference? One let may have multiple instances, so there is no way to resolve the right one.

Regards,
Dmitry

-----Original Message-----
From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Wednesday, December 17, 2008 1:09 PM
To: Korchemny, Dmitry
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] Is 'let' item allowed to be hierarchically referred?

Hi Dmitry,
I want mean an 'item' as the 'argument'. For e.g.
let ones_match(bits x, y) = x == y;

Here I want to mean 'x' or 'y'. Is it allowed to refer them as
'ones_match.x' or 'ones_match.y'?
Sorry for the confusion.

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-bc] Is 'let' item allowed to be hierarchically referred?
From: Korchemny, Dmitry <dmitry.korchemny@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-bc@eda.org
<sv-bc@eda.org>
Date: Wednesday, December 17, 2008 4:32:05 PM
> Hi Surya,
>
> But no item can be declared inside let.
>
> Dmitry
>
> -----Original Message-----
> From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Surya Pratik Saha
> Sent: Wednesday, December 17, 2008 12:53 PM
> To: sv-bc@eda.org
> Subject: [sv-bc] Is 'let' item allowed to be hierarchically referred?
>
> Hi,
> As per 1800-2009 draft LRM, a let expression can not be hierarchically
> referred, but is any item (typed or untyped) declared inside 'let'
> construct allowed to be hierarchically referred? I think it should not
> be, but I did not see anything mentioned in the LRM.
>
> --
> Regards
> Surya
>
>
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
>
> --
> This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
>
>
>
>
>



---------------------------------------------------------------------Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material forthe sole use of the intended recipient(s). Any review or distributionby others is strictly prohibited. If you are not the intendedrecipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.