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

I am reading clause 16 now. It refers to default values to formal
arguments.
The rewrite algorithm does not refer to default value. I don't think
that we should change the rewrite algorithm, but maybe add a sentence at
the new section that says "For every instance it is assume that every
actual argument is resolved either from the instance or from its default
value."

Doron

-----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.