RE: [sv-ac] 1757

Fixed and upload

 

Thanks

 

Doron

 

________________________________

From: Bresticker, Shalom 
Sent: Thursday, September 20, 2007 3:31 PM
To: Bustan, Doron; sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] 1757

 

Minor editorial comments:

 

- P. 2: "where the expression_or_dist is called the reset expression".

I would put 'reset expression' in italics.

 

 

 

- P. 4: "The following recursive property declaration illustrates legal
usage of the accept_on and reject_on constructs:"
"accept_on" and "reject_on" should be bold.

 

Shalom

	
________________________________


	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
	Sent: Thursday, September 20, 2007 3:18 PM
	To: sv-ac@server.eda-stds.org
	Subject: [sv-ac] 1757

	All,

	 

	I upload a revised version of 1757 (accept_on reject_on).

	It is also attached.

	 

	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, and is
believed to be clean.