A netlist graph of an IC cell contains cell pin vertices, auxiliary
vertices, and edges between vertices having a length. A clock shift SH(V)
is assigned to each auxiliary vertex so that for any two auxiliary
vertices, a difference between the clock shift of the two auxiliary
vertices is no greater than a design time of the two auxiliary vertices.
The clock shift is assigned such that
SH(V1)+DELAY(V1,V2)-SH(V2).ltoreq.f.multidot.BOUND(V1,V2), where SH(V1)
and SH(V2) are the clock shift of first and second auxiliary vertices,
DELAY(V1,V2) is a maximal delay of the path between the first and second
auxiliary vertices, f is a minimize constant, and BOUND(V1,V2) is a timing
restriction of the first and second auxiliary vertices.
Μια γραφική παράσταση netlist ενός κυττάρου ολοκληρωμένου κυκλώματος περιέχει vertices καρφιτσών κυττάρων, βοηθητικά vertices, και τις άκρες μεταξύ vertices που έχουν ένα μήκος. Μια μετατόπιση ρολογιών SH (V) ορίζεται σε κάθε βοηθητικό vertex έτσι ώστε για οποια δήποτε δύο βοηθητικά vertices, μια διαφορά μεταξύ της μετατόπισης ρολογιών δύο βοηθητικά vertices δεν είναι όχι μεγαλύτερη από έναν χρόνο σχεδίου δύο βοηθητικά vertices. Η μετατόπιση ρολογιών ορίζεται έτσι ώστε SH (V1)+DELAY (V1, β2)-SH (V2).ltoreq.f.multidot.BOUND (V1, V2), όπου SH (V1) και SH (V2) είναι η μετατόπιση ρολογιών πρώτα και δεύτερα βοηθητικά vertices, η ΚΑΘΥΣΤΈΡΗΣΗ (V1, V2) είναι μια μέγιστη καθυστέρηση της πορείας μεταξύ πρώτα και δεύτερα βοηθητικά vertices, το φ είναι ελαχιστοποιεί τη σταθερά, και ΣΥΝΔΕΔΕΜΈΝΟΣ (V1, V2) είναι ένας περιορισμός συγχρονισμού πρώτα και δεύτερα βοηθητικά vertices.