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

Hi John,

How about a name which contains word 'implicit' in it ? May be
$implicit_var or $implicit_type ? Basically this task is kind of
implicitly converting expression to a specific type i.e. type of formal.

Manisha

-----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 6:53 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.


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