Patent ID: 8141015

Claim:
A method for reporting timing exception status, the method comprising: computing a set of edges of a sub-domain and a set of edges of a timing exception, wherein the sub-domain includes merged timing exceptions of similar timing exception type; computing a slack value based on: (i) the edges of the sub-domain common to the set of edges of the timing exception or (ii) timing paths of the sub-domain, the sub-domain including timing paths between at least one source node and a destination node, the sub-domain associated with a sub-domain timing exception type; if the sub-domain has a valid slack value, comparing the sub-domain timing exception type to a timing exception type; identifying the timing exception as overridden if: (i) the slack value computed based on edges of the sub-domain common to the set of edges of the timing exception is valid and the sub-domain timing exception type is different than the timing exception type, or (ii) the sub-domain has the valid slack value and an intersection of the set of edges of the sub-domain and the set of edges of the timing exception forms a timing path and the sub-domain timing exception type is different than the timing exception type; and presenting the overridden timing exception, wherein at least one method operation is executed by a processor.