[sv-ac] FW: 16.12.2 clause -> construct

_____________________________________________
From: Bresticker, Shalom 
Sent: Tuesday, May 06, 2008 3:06 PM
To: stuart@sutherland-hdl.com
Cc: Korchemny, Dmitry
Subject: 16.12.2 clause -> construct

Hi,

1. 16.12.2 says,

"The implication construct specifies that the checking of a property is
performed conditionally on the match of a sequential antecedent.

This clause is used to precondition monitoring of a property expression
and is allowed at the property level."

In the 2nd sentence, I think "clause" is preferably replaced by
"construct".

2. In the 3rd dashed item,
"For each successful match of antecedent sequence_expr, the consequent
property_expr is separately evaluated."

the word "the" should be inserted before "antecedent".

Thanks,
Shalom

Shalom Bresticker
Intel Jerusalem LAD DA
+972 2 589-6582
+972 54 721-1033

---------------------------------------------------------------------
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.