一、課程說明(Course Desc<x>ription)
<br>
<br>This course will cover the following topics:
<br>1.Representations for Boolean Functions
<br>2. Two-Level Logic Minimization
<br> 2.1 Exact Minimization 
<br> 2.2 Heuristic Minimization
<br> 2.3 Espresso
<br>3. Multi-Level Logic Minimization
<br>     3.1 Decomposition/Restructuring
<br>     3.2 Node Optimization 
<br>     3.3 Functional Decomposition
<br>4. Timing Optimization 
<br>5. Technology Mapping 
<br> 5.1 Technology Mapping  
<br> 5.2 Boolean Matching  
<br>6. Synthesis for Finite State Machines 
<br>7. Low Power Design  
<br>8. Automatic Test Pattern Generation
<br> 8.1 ATPG and Logic Optimization 
<br> 8.2 False Path Identification 
<br>9. Synthesis for hardware security
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br> 二、指定用書(Text Books)
<br>
<br>papers
<br>
<br>
<br> 三、參考書籍(References)
<br>
<br>
<br>papers
<br>
<br> 四、教學方式(Teaching Method)
<br>
<br>
<br>lecture
<br>
<br> 五、教學進度(Syllabus)
<br>
<br>
<br>
<br>
<br> 六、成績考核(Evaluation)
<br>
<br>1. one midterm
<br>2. one report on the usage of tools
<br>3. paper presentation and written report
<br>4. software programming project
<br>
<br>
<br> 七、可連結之網頁位址
<br>
<br>http://www.cs.nthu.edu.tw/~tingting/
<br>
<br>