静的タイミング解析

ツールは各終点までのセル遅延と配線遅延を合計し、使える時間と比較して余裕（スラック）を報告する。余裕が負なら違反である。強みは網羅性だ。シミュレーションはテストデータが通したパスしか調べないが、解析は何十億もあるパスをすべて対象にする。プロセス・電圧・温度のあらゆる組み合わせについて、セットアップとホールドの両方を検査する。

限界は数学ではなく入力にある。クロックの記述、決して有効にならないパス、複数サイクルを許されたパスの宣言が必要で、誤った答えが出る原因の圧倒的多数は、こうした宣言の誤りや欠落である。本物の違反を隠すこともあれば、存在しない違反を千個も生み出すこともある。