[sv-bc] RE: [sv-ac] some further changes for 1549 Annex F

The syntax is  

    type(logic[1:2])'(e)

and it returns a value of type logic[1:2].   

See 6.23 and 6.24.1.

Maybe the LRM should be clearer that

   1) a static cast returns a value whose type is the casting type 

   2) type(type(X)) == type(X)

-- Brad

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bresticker, Shalom
Sent: Friday, September 21, 2007 7:24 AM
To: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: RE: [sv-ac] some further changes for 1549 Annex F

But I don't think that (type(logic[1:2]))' e will give you a logic[1:2]
result. I think it will be logic[1:0].

Shalom 

> -----Original Message-----
> From: owner-sv-ac@server.eda.org
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek
> Sent: Friday, September 21, 2007 3:23 PM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] some further changes for 1549 Annex F
> 
> Hi Folks:
> 
> This morning I have remembered a couple of things that need to be done

> in the Annex F document for 1549 (ones that I could not recall last 
> night).
> 
> 1. We should not use $var because $var is part of the syntax for VCDs.
>    See 20.7.2.1.  Also, var is a keyword.  I thought that maybe $arg
>    makes sense, or we can use some other string or perhaps a non-ascii
>    symbol.
> 
> 2. I asked a while ago whether type casting like
> 
>      (logic[1:2])' e
> 
>    is legal.  I think this is not legal because logic[1:2] is not a
>    casting_type.  However, I think we can use a type_reference, as in
> 
>      (type(logic[1:2]))' e
> 
>    See 6.23 and 6.24.
> 
> Comments?
> 
> J.H.
> 
> --
> 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.



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