A method of distributed timing analysis for a network which has been partitioned into at least two partitions, with each partition being assigned to a separate timing analysis process which communicates with the other processes is provided. A depth first search is performed by the process assigned to the partition in which the node for which timing information is desired is located. When the depth first search encounters a node for which a timing value is required which is located in another partition, a request is immediately sent to the process corresponding to that partition for the required timing information. When the request for timing information from the other partition is answered, the associated node is placed in the propagation queue. Also, as a node is processed, successor nodes which have had their predecessors processed are added to the propagation queue. The nodes in the propagation queue are processes and timing values are computed. When there are no nodes in the propagation queue, global loop detection is performed. Additionally, incremental timing updates are performed when a change is made in the network.

Eine Methode der verteilten festsetzenanalyse für ein Netz, das in mindestens zwei Fächer verteilt worden ist, wenn jedes Fach einem unterschiedlichen TIMING-Analyse Prozeß zugewiesen ist, der die anderen Prozesse ist, wird zur Verfügung gestellt. Eine Tiefe suchen zuerst wird durchgeführt durch den Prozeß, der dem Fach zugewiesen wird, in dem der Nullpunkt, für den TIMING-Informationen gewünscht werden, ist. Wenn die Tiefe zuerst Treffen ein Nullpunkt suchen, für den ein TIMING-Wert angefordert wird, der in einem anderen Fach ist, wird ein Antrag sofort zum Prozeß geschickt, der diesem Fach zu der erforderlichen festsetzeninformation entspricht. Wenn der Antrag zu TIMING-Information vom anderen Fach beantwortet wird, wird der verbundene Nullpunkt in die Ausbreitungwarteschlange gelegt. Auch während ein Nullpunkt verarbeitet wird, werden Nachfolgernullpunkte, die ihre verarbeiteten Vorgänger gehabt haben, der Ausbreitungwarteschlange hinzugefügt. Die Nullpunkte in der Ausbreitungwarteschlange sind Prozesse und TIMING-Werte werden berechnet. Wenn es gibt, stehen keine Nullpunkte in der Ausbreitung, globale Schleife Abfragung wird durchgeführt an. Zusätzlich werden zusätzliche TIMING-Updates durchgeführt, wenn eine Änderung im Netz vorgenommen wird.