電子設計自動化(Electronic Design Automation; EDA)涉及系統建構的正確性、可靠性、效率及最佳化。這是一個跨領域的主題，需要包括電機工程、電子工程與資訊工程等相關知識。在電子設計自動化的過程中，靈活運用計算理論（包括演算法、複雜度、自動機、邏輯、程式語言等）可以找到相當實用且符合需求的解決方案。在本課程中，我們將研究一些有代表性的EDA問題以及在各EDA層次中所需要的技術與知識。Electronic Design Automation (EDA) involves the correctness, reliability, efficiency and optimization of system construction. This is a cross-disciplinary subject that requires knowledge related to electrical engineering, electronic engineering and information engineering. In the process of electronic design automation, solutions that are quite practical and meet the needs can be found by flexibly using computing theory (including algorithms, complexity, automata, logic, programming languages, etc.). In this course, we will study some representative EDA problems and the techniques and knowledge required at each EDA level.
L.T. Wang, Y.W. Chang, and K.T. Cheng, Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon), Morgan Kaufmann, 2009.
l.T. Wang, Y.W. Chang, and K.T. Cheng, electronic design automation: synthesis, verification, and test (system son silicon), Morgan Kaufman N, 2009.
| 評分項目 Grading Method | 配分比例 Grading percentage | 說明 Description |
|---|---|---|
| 出席率及課堂討論出席率及課堂討論 Attendance and class discussions |
60 | |
| 期末報告期末報告 Final report |
30 | |
| 作業、小考等其他項目作業、小考等其他項目 Homework, quizzes and other items |
10 |
