課程設計概念:

半導體產品在各業的應用日廣，產業產能需求持續擴張，晶片設計人才人力為半導體產業鏈的一環，其所產出的數位晶片設計的正確性為產出要求，設計驗證的能力因此為數位晶片設計工程師的必備能力。由於數位晶片設計日趨複雜，在設計數位晶片的同時，做有效且完整的設計驗證，為保證晶片功能設計正確性的必要工作。

    本課程介紹針對數位設計錯誤做設計驗證的類型、對應各種設計錯誤類型可實施的數位設計驗證技術、與將驗證規劃對應到硬體描述語言的方式。

使得學員可以逐漸了解設計驗證的空間，孰悉其驗證規劃，並能以硬體描述語言等工具實施，以系統化的同時運用晶片數位設計與其功能驗證的能力。

 課程對象： 

*半導體產業的晶片設計工程師，欲了解數位晶片設計驗證相關觀念知識與技術，並了解其規畫及實施方式，以促進設計驗證品質，提升晶片設計正確性，減少晶片設計完成時間。 

*欲進入電子設計產業之理工科系之應屆畢業學生。

* 大專以上理工背景之從業人員欲培養晶片設計與設計驗證專長，為就業及轉職增進能力，從事電子設計專長發展者。   

2. 數位功能驗證方法概述(Overview of design verification methods of digital functionality)

3. 數位功能覆蓋性類型 (Coverage types of digital functionality)

甲、程式碼覆蓋

乙、功能覆蓋

丙、其他覆蓋

4.  數位設計驗證技術 (Digital design verification techniques)

甲、刺激產生技術

乙、基於判定的驗證

丙、回應的觀察檢查分析與輸出技術

丁、測試平台結構

戊、模擬管理

5.  應用硬體描述語言於設計驗證 (Applying HDL in design verification)

甲、Verilog, SystemVerilog, SystemC

6.  總結(Conclusion)