一、課程說明(Course Desc<x>ription)
<br>
<br>此門課是積體電路設計自動化的入門課，介紹如何以高效能的軟體演算法來輔助積體電路設計的過
<br>程。主要內容包括邏輯自動化簡與合成，電路模擬，電路正規驗證，自動化平面配置、佈局與繞線，
<br>並且將使用一些軟體硬的開發環境與工具，進行簡單的嵌入式系統實驗。修習之後，學生將更了解這
<br>些積體電路設計輔助工具的內部機制及其使用方法，俾能發揮商用積體電路設計軟體工具之最佳效
<br>能，以產生更小、更快、更省電的電路與系統設計。
<br>
<br> 二、指定用書(Text Books)
<br>無
<br>
<br> 三、參考書籍(References)
<br>
<br>L.-T. Wang, Y.-W. Chang, and K.-T. Cheng, "Electronic Design Automation," 
<br>Morgan Kaufman, ISBN: 978-0-12-374364-0, 2008.
<br>
<br>Shi-Yu Huang and Kwang-Ting Cheng, "Formal Equivalence Checking and Design 
<br>Debugging," Kluwer Academic Publishers, 1998.
<br>
<br> 四、教學方式(Teaching Method)
<br>
<br>(1) Three-hour lecture per week
<br>(2) Homework(s) may require the programming in C++.
<br>(3) Homework(s) may require running IC design tools.
<br>
<br> 五、教學進度(Syllabus)
<br>
<br>1. 	Overview of Electronic Design Automation
<br>2. 	Generic Algorithm and Complexity
<br>3. 	Logic Synthesis
<br>4. 	Simulation
<br>5. 	Power Estimation and Low-Power Design Techniques
<br>6. 	Formal Verification
<br>7. 	Floorplanning
<br>8. 	Placement and Partitioning
<br>9. 	Routing
<br>A1: Review of Logic Design
<br>A2: Review of Digital Circuit Design Methodology
<br>A3: Introduction of InFO-WLP IC
<br>A4: Tutorial on Design Compiler and APR Tools
<br>
<br>
<br>
<br> 六、成績考核(Evaluation)
<br>5%  class attendance
<br>30% homework(s)
<br>30% midterm examination
<br>35% final examination
<br>
<br> 七、可連結之網頁位址
<br>
<br>清大 iLMS 數位學習平台 http://lms.nthu.edu.tw/
<br>
<br>
<br>
<br>
<br>