Course Desc<x>ription:
<br>This class presents theories for design and analysis of logic networks.
<br>
<br>Text Books: 
<br>None
<br>
<br>References: 
<br>Switching theory for logic synthesis, by Tsutomu Sasao, Kluwer Academic 
<br>Publishers.
<br>
<br>Teaching Method: 
<br>Lecture with slides
<br>
<br>Syllabus:
<br>Logic representation
<br>Binary Decision Diagrams
<br>Logic functions with various properties
<br>Two-level logic optimization
<br>Multi-level logic optimization
<br>Technology mapping
<br>Timing analysis and optimization
<br>Testing
<br>
<br>
<br>Evaluation:
<br>1. Two Homework Assignments                         20%
<br>2. Midterm Exam                                     15%
<br>3. Midterm Project                                  20%
<br>4. Final Project                                    25%
<br>5. Presentation -  1 person/team (15 + 5 mins)      20%
<br>
<br>
<br>Personal Website:
<br>http://nthucad.cs.nthu.edu.tw/~wcyao/