RE: [sv-ac] 1757 ready for vote

I took a quick peek:

 

In the paragraph that starts:  "There are two places where .... "
References to default disable should be "default disable iff" given
yesterday's discussion.  Also, sequences and properties needs to be
sequence_expr and property_expr, and the first sentence that follows
also needs to change accordingly:  The expressions used in defining
sequences are ....     Should now be  "The expressions used in defining
sequence_expr's and property_expr's are"   If you say property, then
that could include the disable iff, which is why I think it said
sequence to begin with. 

. 

Edito -> editor (typo)

 

a abort    ->    an abort

 

You state that the sampled values are used.  Should we state that it is
evaluated in the observed region using the sampled valued?

 

Not sure about this - "if a becomes true"   - is a 9 pt courier font?
(appears twice)

 

In the insert on page 351, bit should be bold

 

 

Lisa

 

 

 

 

 

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bustan, Doron
Sent: Wednesday, November 07, 2007 3:29 AM
To: sv-ac@eda.org
Subject: [sv-ac] 1757 ready for vote

 

All,

 

I implemented all comments; I hope it is ready for vote (yes) now.

 

Doron

---------------------------------------------------------------------
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 <http://www.mailscanner.info/> , and is

believed to be clean. 

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