RE: [sv-ac] revised 1549

Hi John, I have two comments about the formal semantics:

1. A typo: At F.3.3.1 and F.3.6.1

   | w j |=^d ( T ) iff  w j |= T.
   | w j |=^d ( U ) iff  w j |= U.


   Should be

   | w j |=^d ( T ) iff  w j |=^d T.
   | w j |=^d ( U ) iff  w j |=^d U.



2. I still have problems with the definition of casting. At 6.24 (p 105)
   It says:

   "The expression inside the cast must be an integral value when
changing    
   the size or signing. When changing the size, the signing shall pass  
   through unchanged and the result type shall be a one-dimensional
packed
   array with a right bound of zero. When changing the signing, the type
of   
   the expression to be cast shall pass through unchanged, except for
the 
   signing."

   The "right bound of zero" requirement might corrupt the item usage.
   I would consider a 2 operand item function where the second operand

   specified the type.

Doron

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Monday, October 01, 2007 1:59 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] revised 1549

Hi Folks:

I have uploaded to Mantis revisions of the 1549 documents for
Clause 16 and Annex F.

They are 

1549_2007-10-01_jh.pdf
1549.formal_semantics_arguments_passing.2007-10-01.pdf


The changes to the Clause 16 document from the previous version
are small:

1. Removed "mutatis mutandis".  I couldn't find an easy way to
   substitute something else, so I just deleted it.
2. Added a change to relax footnote 21 in A.10 so that $ can be
   parsed through primary as an entire sequence_actual_arg or
   property_actual_arg.

The changes to the Annex F document are more substantial.  There
have been a number of mails regarding them.  Also, the rewriting
algorithm description has been reorganized.  Previously, changes
were done on all arguments and the composition of the steps was
supposed to work for all cases.  Since exceptions have to be made,
I thought it would be clearer to split cases and describe the
changes for each case separately.  I expect that this will also
make it easier to maintain.

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.