RE: [sv-bc] E-mail Ballot for SVDB 2008: Respond by 8am PST, Monday, March 3

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Sun Mar 02 2008 - 08:17:28 PST
 

> SVDB 2008 _x_Yes   ___No
> http://www.eda.org/svdb/view.php?id=2008

Friendly amendments:

In 12.4.2, change the text
"The keywords unique and priority can be used before an if to perform
certain violation checks. If either keyword is used, it shall be a
warning for no condition to match unless there is an explicit else. Such
a violation is known as a violation report."

to (also incorporating changes from Mantis 2131):

The keywords unique, unique0 and priority can be used before an if to
perform certain violation checks. If the keyword unique or priority is
used, a <i>violation report</i> shall be issued if no condition matches
unless there is an explicit else."

Reasons:
1. We said we want to avoid the terms warning and error.
2. While one can say, "it shall be an error", one does not say, "it
shall be a warning".
3. It is not the violation that is known as a violation report, but
rather the warning.


In 12.4.2.1, change the text
"The descriptions in 12.4.2 mention several cases in which a violation
shall be generated by unique-if, unique0-if, or priority-if statements."

to

"The descriptions in 12.4.2 mention several cases in which a violation
report shall be generated by unique-if, unique0-if, or priority-if
statements."

Reason: the statements do not generate violations, they perform
violation checks and 
issue violation *reports*.


In 12.5.3.1, change the text
"The descriptions in 12.5.3 mention several cases in which a violation
shall be generated by unique-case, unique0-case, or priority-case
statements."

to

"The descriptions in 12.5.3 mention several cases in which a violation
report shall be generated by unique-case, unique0-case, or priority-case
statements."

Reason: as above.


NOTE: The text in the LRM, Mantis 1345, and Mantis 2131 still say
"warning" in multiple places.


NOTE: In Mantis 2131, the following text
"If the keyword unique0 is used, there shall be no a warning if no
condition is matched."

should be

"If the keyword unique0 is used, there shall be no warning if no
condition is matched."
---------------------------------------------------------------------
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.
Received on Sun Mar 2 18:51:02 2008

This archive was generated by hypermail 2.1.8 : Sun Mar 02 2008 - 18:51:49 PST