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

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Wed Dec 17 2008 - 04:37:34 PST
Hi Surya,

This looks strange to me. What value will be assigned to b in your case?

Dmitry

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

Hi Dmitry,
But I did not see any tool fails too with the case. Consider the case:
module top;
function integer f;
    input x;
    f = 1;
endfunction
integer b;
initial begin
    b = f.x;
end
endmodule

All standard simulators including Verilog-XL pass the case. Also LRM
mentions default data type of task/function formals is logic.

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:50:20 PM
> Hi Surya,
>
> Are you talking about accessing to function formals using hierarchical names from the internal function scope? In the LRM 23.6 It is written: "Objects declared in automatic tasks and functions are exceptions and cannot be accessed by hierarchical name references." But where is it written about accessing function formals using hierarchical names?
>
> Thanks,
> Dmitry
>
> -----Original Message-----
> From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
> Sent: Wednesday, December 17, 2008 2:10 PM
> To: Korchemny, Dmitry
> Cc: sv-bc@eda.org
> Subject: 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.
>>
>>
>>
>>
>>
>>
>
>
>
> ---------------------------------------------------------------------
> 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.
Received on Wed Dec 17 04:39:12 2008

This archive was generated by hypermail 2.1.8 : Wed Dec 17 2008 - 04:39:23 PST