Course Description:
This class presents theories for design and analysis of logic networks.

Text Books:
None

References:
Switching theory for logic synthesis, by Tsutomu Sasao, Kluwer Academic
Publishers.

Teaching Method:
Lecture with slides

Syllabus:
Logic representation
Binary Decision Diagrams
Two-level logic optimization
Multi-level logic optimization
Technology mapping
Timing analysis and optimization
Multi-value functions
Testing


Evaluation:
1. Two Homework Assignments 20%
2. Midterm Exam (04/18) 15%
3. Final Exam (06/13) 15%
4. Midterm Project 20%
5. Final Project 20%
6. Presentation - 1 person/team (15 + 5 mins) 10%


Personal Website:
http://nthucad.cs.nthu.edu.tw/~wcyao/