Patent ID: 8302048

Claim:
A method for detecting timing constraint conflicts, comprising: receiving a timing constraint file; taking all test points in the timing constraint file as nodes, determining directed edges between the nodes and weights of the directed edges according to timing constraints relevant to the test points in the timing constraint file to establish a directed graph which comprises: parsing general timing constraints, and taking all obtained test points as nodes, wherein the general timing constraints comprise at least one of implicit timing constraints and timing constraints given in the timing constraint file; obtaining directed edges between all the nodes and weights of the directed edges according to parsed general timing constraints; and forming a directed graph by using all the nodes, the directed edges and the weights on the directed edges; searching for all directed cycles of the directed graph; and for each directed cycle, after determining that the sum of the weights of the directed edges constituting the directed cycle satisfies a required condition, determining that a timing constraint conflict exists among the test points and the timing constraints constituting the directed cycle; wherein the method is performed by one or more computer processors.