Reporting status of timing exceptions

摘要

A method for reporting timing exception status is presented. The method begins by computing a set of edges of a sub-domain and a set of edges of a timing exception. A slack value is computed based on either the edges of the sub-domain common to the set of edges of the timing exception or the timing paths of the sub-domain. If the sub-domain has a valid slack value, the method compares the sub-domain timing exception type to the timing exception type of the timing exception. The method identifies the timing exception as being overridden if both timing exception types are different and either the slack value computed based on edges of the sub-domain is valid, or the sub-domain has the valid slack value and an intersection of the set of edges of the sub-domain and of the timing exception forms a timing path. The method presents the overridden timing exceptions.