1111_正規驗證之理論與應用 THEORY AND APPLICATION OF FORMAL VERIFICATION

隨著複雜且重要功能之系統與軟體設計的快速發展需求，我們非常需要具有高品質保障的驗證方法。本課程重點於介紹正規驗證，將分步介紹其基本理論, 以及如何利用邏輯推理之數學分析於實際應用。以下為大致週數的課程安排:

1	Brief SoC Verification Technologies Overview
2	Propositional Logics
3	Switching Functions and Binary Decision Diagrams
4	Predicate Logics
5	State Machine (1)
6	State Machine (2)
7	State Machine (3)
8	Kripke Structure
9	Midterm Exam
10	Clock Zones and Difference Bound Matrix
11	Timed Automata
12	LTL Model Checking
13	Explicit Model Checking (1)
14	Explicit Model Checking (2)
15	Symbolic Model Checking (1)
16	Symbolic Model Checking (2)
17	System Verilog Assertion & Commercial SoC Model Checking Tools Introduction
18	Final Exam