[sv-ac] 1995 assertions in loops questions

Hi Erik,

I finally took the time to review your proposal for assertions in for
loops. You state "It is still considered a single assertion, not a set
of assertions
for each iteration, so no loop index is used."  What happens to the
statistic counters?  If the loop executes 5 times, for example, is this
5 attempts of the same assertion?  So in this case, the number of
attempts is not equal to the number of clocks of the assertion?   Have
you given though to debug of these?  Should the message be required to
print the loop iterator value(s) for example?  While the user can create
a custom message, it might be nice if this were automated.  Have you
thought about VPI callbacks?  I would think that the user data could
supply the loop iterators, but I'm not an expert on VPI callbacks.

Lisa

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