[sv-ac] LRM review: Mantis 1381

Hello John,
please see below my comments regarding item 1381.
Best regards,
ed

--------

Editing issues: none.

Content issue already in the proposal:

17.13.5: It seems to me that the requested correction is not quite
right: 

"Another inference made from the context is the enabling condition for a
property. Such derivation takes place when a property is placed in an
if..else block or a case block. A concurrent assertion embedded in
procedural code specifies that a new evaluation attempt of the
underlying property_spec begins at every occurrence of the inferred
clocking event."

There is a sentence deleted that tried to indicate what the inference
consists of. It was not quite correct but it said at least something.
The new added sentence does not seem to have any bearing on enabling
condition inference. Should it say something along the following lines?

"A concurrent assertion embedded in procedural code in an if..else block
or a case block specifies that a new evaluation attempt of the
underlying property_spec begins at every occurrence of the inferred
clocking event provided that the condition leading to the location of
the assertion in the block is true."

---------







-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.