3.3.4　論理・タイミング検証

定義のある用語	紹介だけの用語
タイミング検証	ゲート素子
純粋遅延モデル	タイミング・シミュレーション
最大・最小遅延モデル	論理回路
静的タイミング解析（STA：Static Timing Analysis）	同期式順序回路
フォールス・パス（False Path）	クロック周期
遅延モデル	ホールド時間
フリップフロップ（Flip-Flop）	確率変数
テスト生成（Test Pattern Generation）	正規分布
	相関
	再収斂構造