Hello, IEEE1800-2012 provide possibility to loack and unlock assertion from VPI assertion API. There is lack of that information in assertion-specific coverage status properties. Maybe we need define vpiAssertLockCovered property ? In 40.5.3 Obtaining coverage information: vpi_get(vpiAssertLockCovered, assertion_handle) returns the number of times the assertion has been locked. Best regards, Radek -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Sep 30 02:35:48 2014
This archive was generated by hypermail 2.1.8 : Tue Sep 30 2014 - 02:36:04 PDT