情報科学 › コンピュータサイエンス基礎 › コンピュータアーキテクチャとCPUの構造
同期式順序回路とタイミングパラメータ
すべての記憶素子が同一のクロック信号 の立ち上がりエッジで値を取り込む回路を同期式順序回路といいます。エッジトリガ型 D フリップフロップについて、次の量を定めます。
- ():クロックエッジから出力 Q が確定するまでの最大(最小)遅延。
- (セットアップ時間):入力 D がクロックエッジの何秒前までに確定していなければならないか。
- (ホールド時間):入力 D がクロックエッジの後、何秒間保たれていなければならないか。
また、フリップフロップ間の組合せ回路の最大遅延を 、最小遅延を 、クロックが各フリップフロップに届く時刻のばらつきの最大値を と書きます。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。