Input:
- Netzliste
- Delaymodell sowie -parameter aller Verbindungen
- Verzögerungszeiten der Elemente
- Taktschema, -perioden
- input arrival time, input slew rate, output capacitance load
- Einzuhaltende Bedingungen:
- Setup-, Hold-Time-Bedingungen der Speicherelemente
- output required arrival time
Output:
- Aussage, ob Bedingungen eingehalten werden
- Kritischer Pfad
- Path-Slack-Histogramm