一、課程說明(Course Description)
<br>
<br>此門課是積體電路設計自動化的入門課，介紹如何以高效能的軟體演算法來輔助積體電路設計的過程。主要內容包括邏輯自動化簡與合成，電路模擬，自動化佈局與繞線，電路驗證的輔助軟體工具等等。修習之後，學生將更了解這些積體電路設計輔助工具的內部機制
<br>
<br> 二、指定用書(Text Books)
<br>
<br>Sabih H. Gerez, “Algorithm for VLSI Design”, John Wiley & Sons; ISBN: 0471984892, 1998.
<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. Layout Compaction
<br>4. Placement and Partitioning
<br>5. Floorplanning
<br>6. Routing
<br>7. Simulation
<br>8. Logic Synthesis
<br>9. Formal Verification
<br>
<br> 六、成績考核(Evaluation)
<br>
<br>10% homework(s)
<br>30% midterm examination
<br>30% final examination
<br>30% course project
<br>
<br> 七、可連結之網頁位址
<br>
<br>課程網址: http://larc.ee.nthu.edu.tw/~syhuang/EDA
<br>