[sv-ac] AC 269

Hello Bassam,

In view of AC-195, may I suggest that your proposal for AC 269 be modified
by adding further detail on expressions just before the sentence starting
"Nesting of disable iff ... " as shown below? (I also added "clause" in the
1st sentence.) We should discuss the errata tomorrow. The change would also
resolve 195. We still need an errata to change the definition of boolean
expressions in Section 17.1 which I will introduce shortly.

Best regards,
ed

---
"The expression of the disable iff clause is called the reset expression.
The disable iff clause allows pre-emptive resets to be specified. For an
evaluation of the property_spec, there is an evaluation of the underlying
property_expr. If prior to the completion of that evaluation the reset
expression becomes true, then the overall evaluation of the property_spec is
true. Otherwise, the evaluation of the property_spec is the same as that of
the property_expr. The reset expression is tested independently for
different evaluation attempts of the property_spec.
The values of variables used in the reset expression are those in the
current simulation cycle, i.e., not sampled. The expression may contain a
reference to an endpoint of a sequence by using the method triggered of that
sequence. Matched and ended of a sequence and local variables cannot be used
in the reset expression.
Nesting of disable iff clauses, explicitly or through property
instantiations, is not allowed."