RE: [sv-bc] Confusion whether string datatype itself is of dynamic type or not

1800-2005 says,

"The type operator applied to an expression shall represent the
self-determined result type of that expression. The expression shall not
be evaluated and shall not contain any hierarchical references or
references to elements of dynamic objects.

The type operator can also be applied to a data type."

The restriction of dynamic objects is only when the argument is an
expression, not when it is a data type.

Shalom


> -----Original Message-----
> From: owner-sv-bc@server.eda.org 
> [mailto:owner-sv-bc@server.eda.org] On Behalf Of Sumay Guin
> Sent: Tuesday, December 11, 2007 2:10 PM
> To: sv-bc@server.eda-stds.org
> Cc: Adhip Das
> Subject: [sv-bc] Confusion whether string datatype itself is 
> of dynamic type or not
> 
> Hi,
>      consider the scenario,  
> 
>      module myMod();
>        parameter type pt = int;
>     endmodule
> 
>      module tb();
>         myMod #($typeof(string)) m1();
>      endmodule
> 
> 
>   According to systemverilog 3.1a expression/datatype 
> specified inside $typeof systemfunction as an argument
> 
>   shall not contain any hierarchical identifiers or 
> references to elements of dynamic objects. Also according to
>   systemverilog LRM IEE 1800-2005 string variable is of 
> dynamic in nature. But consider the above scenario,
>   where user specified string datatype itself as an argument 
> to systemtask function $typeof.Can any one tell me
>   whether it will be legal to specify string datatype itself 
> as an argument to system function $typeof or whether
>   "string" dataype itself is dynamic or static in nature.
> 
> Thanks,
> Sumay
> 
>      
> 
> 
> 
> 
> --
> This message has been scanned for viruses and dangerous 
> content by MailScanner, and is believed to be clean.
> 
---------------------------------------------------------------------
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.