RE: [sv-ac] Draft5 review

Acknowledged.


Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
+1-503-692-0898

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Korchemny, Dmitry
> Sent: Tuesday, May 13, 2008 8:49 PM
> To: stuart@sutherland-hdl.com
> Cc: Bresticker, Shalom; Neil.Korpusik@sun.com; sv-ac@eda.org
> Subject: [sv-ac] Draft5 review
> 
> Hi Stu,
> 
> 
> 
> SV-AC has reviewed the Draft5 and it has the following comments:
> 
> 
> 
> *	16.4, end of the second paragraph. Written: "This is explained in
> Clause 4." Should be: "This is explained in Clause 14."
> *	Figure 16-1. Replace "simulation ticks" with "simulation time
> steps".
> *	Figure 16-1. Change caption from "Sampling a variable on
> simulation ticks" to "Sampling a variable in a simulation time step".
> *	Figure 16-3. Replace "simulation ticks" with "simulation time
> steps".
> *	First paragraph after Figure 16-3. Replace "The clock ticks used
> for sampling the variables are derived from the clock for the property,
> which is different from the simulation ticks." with "The clock ticks
> used for sampling the variables are derived from the clock for the
> property, which is different from the simulation time steps."
> *	16.9, page 336. Replace "Such a variable shall thus be
> dynamically created when needed within an instance of a sequence and
> removed when the end of the sequence is reached." with "Such a variable
> will thus be dynamically created when needed within an instance of a
> sequence and removed when the end of the sequence is reached."
> *	In 16.14.7 "iff" was replaced with "if", but should have been "if
> and only if".
> *	SV-AC agrees with rendering graphical symbols in black in order
> to save the editor effort to color each such symbol manually.
> *	Annex F, page 1064: In the green section at the bottom the bullet
> sign before "For U = Q" is in blue.
> *	Annex F, page 1065: F.4.3.2 Weak and strong satisfaction by
> finite words.
> 	"-" in "|=-" and |/=-" is written in green while it should be
> black (see Mantis 2252).
> *	Annex F, page 1068: The bullets in "F.4.6.1 Neutral satisfaction"
> have different colors: green, black and blue. Should be all green.
> *	Annex F, page 1071: Last bullet on the page should be green.
> *	Annex F, page 1072: This page is blank, delete it.
> *	SV-AC asks the editor to render sampled value function syntax at
> 16.8.3, and in 19.12 using the font and the coloring conventions of
> 19.15.
> 
> 
> 
> Thanks,
> 
> Dmitry
> 
> ---------------------------------------------------------------------
> 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.