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