RE: [sv-ac] updated 1668-2007-09-03

From: Bustan, Doron <doron.bustan_at_.....>
Date: Tue Sep 04 2007 - 08:22:03 PDT
Looks good to me

Doron

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Monday, September 03, 2007 9:32 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] updated 1668-2007-09-03

Hi Folks:

I have updated on Mantis and attached here the 1668 proposal for 
Clause 16.  This addresses Doron's comment about the "reason" for
creating multiple copies of a local varible with declaration
assignment when there are multiple semantic leading clocks.

I changed the sentence to

   Separate copies of the local variable v are created for the 
   two subproperties governed by these clocks.

By not saying why the two copies are created, I think Doron's 
concern is addressed.

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.
Received on Tue Sep 4 08:22:32 2007

This archive was generated by hypermail 2.1.8 : Tue Sep 04 2007 - 08:22:52 PDT