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
Logic functions with various properties
Two-level logic optimization
Multi-level logic optimization
Technology mapping
Timing analysis and optimization
Testing


Evaluation:
1. Two Homework Assignments 20%
2. Midterm Exam 15%
3. Midterm Project 20%
4. Final Project 25%
5. Presentation - 1 person/team (15 + 5 mins) 20%


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