DVLab 設計驗證實驗室

DVLab 設計驗證實驗室隸屬於國立臺灣大學電機工程學系,由黃鐘揚教授主持,研究聚焦於形式化驗證、量子電路合成與最佳化,以及電子設計自動化(EDA)。

DVLab 實驗室登山合照
實驗室登山活動

課程與教學

所有課程

學期 115-1

高科技創業與營運

高科技創業與營運(EEE5031)為台大電機所開設之選修課程,由黃鐘揚教授開授,探討高科技產業的創業歷程與企業營運實務,涵蓋新創事業的構想、商業模式、團隊建立、募資與成長策略等面向,結合理論與實務案…

學期 114-2

量子設計自動化特論

量子設計自動化特論(EEE5065)為台大電機所開設之選修課程,介紹量子設計自動化(Quantum Design Automation, QDA)領域的核心技術,探討如何將電子設計自動化(EDA)的…

學期 114-2

系統晶片驗證

系統晶片驗證(EEE5023)為台大電機所開設之選修課程,介紹系統晶片設計之形式化驗證技術。課程涵蓋形式化建模與性質規格、二元決策圖(BDD)、布林可滿足性(SAT)求解、模型檢驗與可達性分析,並探…

實驗室日常

更多活動
DVLab 實驗室聚餐合照

實驗室聚餐

DVLab 實驗室運動合照

實驗室運動活動