タイミング制約と最高動作周波数

命題 5.2（「コンピュータアーキテクチャとCPUの構造」§5）・ ✓公理まで証明済み

定義 5.1 の設定で、クロック周期を $T$ とします。すべてのフリップフロップが正しく値を取り込むためには、次の 2 つが必要十分です。

T \ge t_{cq} + t_{pd} + t_{su} + t_{skew} \qquad\text{（セットアップ制約）}

t_{ccq} + t_{cd} \ge t_{h} + t_{skew} \qquad\text{（ホールド制約）}

特に動作周波数は $f = 1/T \le 1/(t_{cq} + t_{pd} + t_{su} + t_{skew})$ で頭打ちになります。ホールド制約には $T$ が現れないため、ホールド違反はクロックを遅くしても解消しません。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。