[sv-ac] Mantis 2491

Hi guys-I took a look at this one that was assigned to me, and am not convinced there is an issue here. See the comment I added at http://www.eda-stds.org/mantis/view.php?id=2491:

Erik_Seligman (developer)
2010-07-09 10:42
Top of Form
Bottom of Form
Top of Form
Bottom of Form
Top of Form
Bottom of Form

I looked at the rules in the text, and don't think I understand the conflict. (e) refers to inheriting the default clocking event, and (f) talks about cases where there is no default clocking event.

Does someone have a concrete example of a SVA fragment for which these two rules conflict?

Does someone have a better understanding of this issue? Or could this be another case where edits already fixed it & we just didn't note this in the ticket?

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