一、課程說明(Course Desc<x>ription)
<br>
<br>此門課是積體電路設計自動化的入門課，介紹如何以高效能的軟體演算法來輔助積體電路設計的過程。主要內容包括邏輯自動化簡與合成，電路模擬，電路正規驗證，自動化平面配置、佈局與繞線，並且將使用一些軟體硬的開發環境與工具，進行簡單的嵌入式系統實驗。修習之後，學生將更了解這些積體電路設計輔助工具的內部機制及其使用方法，俾能發揮商用積體電路設計軟體工具之最佳效能，以產生更小、更快、更省電的電路與系統設計。
<br>
<br> 二、指定用書(Text Books)
<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> 三、參考書籍(References)
<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>(4) Homework(s) require the implementation of em<x>bedded system.
<br>
<br> 五、教學進度(Syllabus)
<br>
<br>1. Overview of Electronic Design Automation
<br>2. Algorithm and Complexity
<br>3. Logic Synthesis
<br>4. Simulation
<br>5. Formal Verification
<br>6. Floorplanning
<br>7. Placement and Partitioning
<br>8. Routing
<br>A1: Tutorial on Digital Circuit Design Methodology
<br>A2: Tutorial on APR Tool
<br>A3: Tutorial on em<x>bedded System Development using ARC-ba<x>sed Development 
<br>Board
<br>
<br>
<br> 六、成績考核(Evaluation)
<br>
<br>40% homework(s)
<br>30% midterm examination
<br>40% final examination
<br>
<br> 七、可連結之網頁位址
<br>
<br>清大 iLMS 數位學習平台 http://lms.nthu.edu.tw/
<br>
<br>
<br>
<br>
<br>