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

Hi Dmitry,
I know sequence/property item is not allowed, but for function it is 
allowed unless function is automatic. For e.g.

function int f(bit x);
...
endfunction

f.x is allowed by LRM.

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>
Cc: "sv-bc@eda.org" <sv-bc@eda.org>
Date: Wednesday, December 17, 2008 5:24:40 PM
> 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 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.
>
>
>
>
>   




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