[sv-ac] Mantis 1756

Hi Ed,

I had an action item to review your proposal regarding 
$asserton/off/kill on assertions in initial block and it seemed fine to 
me regarding concurrent assertions.

These system tasks however influence also immediate assertions - The 
proposal seem to refer only to assertions with leading clock and I was 
not sure from the proposal what is the intent regarding immediate 
assertions, are they postponed or canceled as in current LRM ? if 
postponed then when $asserton is later user are they activated in the 
same timepoint ?

Thanks,
Yaniv


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