This directory contains overhads for teaching courses based on Synthesis and Optimization of Digital Circuits. Each file is a PDF postcript file for a lecture.

• Introduction (Chapter 1)
• Modeling (Chapter 3)
• Architectural synthesis (Chapter 4)
• Scheduling 1 (Chapter 5)
• Scheduling 2 (Chapter 5)
• Resource sharing (Chapter 6)
• Control generation (Chapter 4)
• Two-level optimization 1 (exact) (Chapter 7)
• Two-level optimization 2 (data structures) (Chapter 7)
• Two-level optimization 3 (espresso) (Chapter 7)
• Symbolic minimization and encoding (Chapter 7)
• Multiple-level synthesis 1 (Introduction) (Chapter 8)
• Multiple-level synthesis 1 (Algebraic methods) (Chapter 8)
• Multiple-level synthesis 1 (Boolean methods) (Chapter 8)
• Multiple-level synthesis 2 (Timing issues) (Chapter 8)
• Sequential optimization (Fsms) (Chapter 9)
• Sequential optimization (Retiming) (Chapter 9)
• Sequential optimization (structural) (Chapter 9)
• Library binding (Chapter 10)