電子設計自動化(Electronic Design Automation; EDA)涉及系統建構的正確性、可靠性、效率及最佳化。這是一個跨領域的主題，需要包括電機工程、電子工程與資訊工程等相關知識。在電子設計自動化的過程中，靈活運用計算理論（包括演算法、複雜度、自動機、邏輯、程式語言等）可以找到相當實用且符合需求的解決方案。在本課程中，我們將研究一些有代表性的EDA問題以及在各EDA層次中所需要的技術與知識。本課程介紹積體電路設計自動化技術與這些技術在整個設計流程中的角色與重要性。修習本課程學生將對整個積體電路設計流程與設計自動化技術有初步的了解。

Electronic Design Automation (EDA) involves the correctness, reliability, efficiency and optimization of system structure. This is a cross-domain theme, which requires related knowledge such as motor engineering, electronic engineering and information engineering. In the process of electronic design automation, a practical and suitable solution can be found by using computational theories (including algorithms, complexity, automation machines, logic, programming languages, etc.). In this course, we will examine some representative EDA problems and the techniques and knowledge required in each EDA level. This course introduces the role and importance of the automation technology of the overall circuit design and the technology throughout the design process. Students who take this course will have a preliminary understanding of the entire overall circuit design process and design automation technology.

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 (Systems on Silicon), Morgan Kaufmann, 2009.