RE: [sv-ac] 1668 Clause 16 proposal updated

Hi John,

I review the proposals, the only minor comment I have is:

At the first paragraph after the example at page 8, I think that you
should change:

Therefore, there are separate copies of the local variable v for the two
subproperties governed by these clocks.

To 

Therefore, each copy of the two separate copies of the local variable v
for the two subproperties is governed by a different clock.

The two copies are there regardless of the different clocks.


Doron


-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Monday, August 20, 2007 1:13 AM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] 1668 Clause 16 proposal updated

Hi Folks:

I updated the Clause 16 proposal for 1668.

See the .doc file.

I can't attach it at the moment, so please go to
mantis.

The only major change was to get rid of the 
restriction that sequences not match empty if
a local variable declaration assignment is used.

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.