一、課程說明(Course Description)
<br>
<br>此門課是積體電路設計自動化的入門課，介紹如何以高效能的軟體演算法來輔助積體電路設計的過程。主要內容包括邏輯自動化簡與合成，電路模擬，自動化佈局與繞線，電路驗證的輔助軟體工具等等。修習之後，學生將更了解這些積體電路設計輔助工具的內部機制
<br>
<br> 二、指定用書(Text Books)
<br>
<br>L.-T. Wang, Y.-W. Chang, and K.-T. Cheng, "Electronic Design Automation," 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 Debugging," Kluwer Academic Publishers, 1998.
<br>
<br> 四、教學方式(Teaching Method)
<br>
<br>(1) Three-hour lecture per week
<br>(2) Homeworks require running IC design tools.
<br>(2) Course project requires programming in C or C++
<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 Lex & Yacc
<br>A2: Tutorial on IP Design
<br>A3: Tutorial on APR Tool - Astro
<br>A4: System Modeling by System C
<br>
<br>
<br> 六、成績考核(Evaluation)
<br>
<br>30% homework(s)
<br>30% midterm examination
<br>40% final examination
<br>
<br> 七、可連結之網頁位址
<br>
<br>課程網址: http://www.ee.nthu.edu.tw/~syhuang/EDA
<br>