[sv-ac] assertion action control tasks

Hi,

 

the proposal and Draft 4 state

 

An assertion that is already executing, including execution of the pass
or

fail action, is not affected.

 

I am not sure how to interpret it. Does "executing" mean the current
evaluation attempts in flight or anything after the first leading clock
tick or after (implicit or explicit) asserton?

 

Thanks,

ed

 


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