A method for performing timing analysis comprising inputting circuit timing information for a circuit, including temporal constraints between events of a desired circuit operation. A timing diagram representing the desired circuit operation, based on the circuit timing information is generater. All violated constraints within said timing diagram are identified. The method forces no violations of said violated constraints by designating the violated constraints as Non-Breakable (NB) constraints, such that a time difference from a source event to a destination event which defines said NB constraint is no less than a minimum bound and no more than a maximum bound of a linear constraint representing a timing requirement between the source and the destination events.

Μια μέθοδος για την ανάλυση συγχρονισμού που περιλαμβάνει εισάγοντας τις πληροφορίες συγχρονισμού κυκλωμάτων για ένα κύκλωμα, συμπεριλαμβανομένων των χρονικών περιορισμών μεταξύ των γεγονότων μιας επιθυμητής λειτουργίας κυκλωμάτων. Ένα διάγραμμα συγχρονισμού που αντιπροσωπεύει την επιθυμητή λειτουργία κυκλωμάτων, βασισμένη στις πληροφορίες συγχρονισμού κυκλωμάτων είναι generater. Όλοι παραβίασαν τους περιορισμούς μέσα στο εν λόγω διάγραμμα συγχρονισμού προσδιορίζονται. Η μέθοδος δεν αναγκάζει καμία παραβίαση των εν λόγω παραβιασμένων περιορισμών με την υπόδειξη των παραβιασμένων περιορισμών ως άθραυστους περιορισμούς (NB), έτσι ώστε μια χρονική διαφορά από ένα γεγονός πηγής σε ένα γεγονός προορισμού που καθορίζει τον εν λόγω περιορισμό NB είναι ένα τουλάχιστον ελάχιστο συνδεδεμένο και ένα λιγότερος από μέγιστο που δεσμεύεται ενός γραμμικού περιορισμού που αντιπροσωπεύει μια απαίτηση συγχρονισμού μεταξύ της πηγής και των γεγονότων προορισμού.