Hello, While reading LRM I've found some context that in my opinion should be clarified 39.5.2 Assertion control .. vpi_control(vpiAssertionKill, assertionHandle, attemptStartTime) - vpiAssertionKill discards the given attempt, but leaves the assertion enabled and does not reset any state used by this assertion (e.g., past() sampling). 20.12 Assertion control system tasks ... $assertkill[(levels[, list])] is equivalent to $assertcontrol(5, 15, 7, levels [,list]) $assertcontrol: - Kill: A value of 5 for this argument shall abort execution of any currently executing attempts for the specified assertions and then stop the checking of all specified assertions until a subsequent $assertcontrol with a control_type of 3 (On). My question is: Do $assertkill task and vpi_control(vpiAssertionKill,..) routine should work in the same way? If yes - should assertion be on or off after kill? Regards, Radek -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Oct 10 06:15:19 2014
This archive was generated by hypermail 2.1.8 : Fri Oct 10 2014 - 06:15:30 PDT