3.2.3　機能検証

	定義のある用語	紹介だけの用語
	機能検証（Functional Verification）
（1）動的検証	動的検証（Dynamic Verification）
	制約付きランダムパターン生成（Constraint Random Pattern Generation）
	カバレッジ（Coverage）
	構造カバレッジ（Structural Coverage）
	コードカバレッジ（Code Coverage）
	機能カバレッジ（Functional Coverage）
	トグルカバレッジ（Toggle Coverage）
	ステートメントカバレッジ（Statement Coverage）
	分岐カバレッジ（Branch Coverage）
	有限状態機械カバレッジ（Finite State Machine Coverage: FSM Coverage）
	アサーション検証（Assertion-Based Verification）
	イベント駆動方式シミュレーション（Event-Driven Simulator）
	サイクルベース方式シミュレーション（Cycle-Based Simulator）
	ハードウェア・エミュレーション（Hardware Emulation）
	ハードウェア・アクセラレータ（Hardware Accelerator）
（2）静的検証	形式検証あるいはフォーマル検証（Formal Verification）
	等価性判定（Equivalence Checking）
	プロパティ検査（Property Checking）
	モデル検査（Model Checking）
	ライブネス条件（Liveness Condition）
	有界モデル検査（Bounded Model Checking）
	抽象化（Abstraction）
	反例に基づく抽象化・詳細化法（Counter-Example Guided Abstraction and Refinement: CEGAR）