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/