This directory contains powerpoint slides for teaching courses based on Synthesis and Optimization of Digital Circuits.

• Introduction (Chapter 1)
• Modeling (Chapter 3)
• Modeling (FSM-based formalisms)
• Architectural synthesis (Chapter 4)
• Scheduling (Chapter 5)
• Resource sharing (Chapter 6)
• Two-level optimization (exact) (Chapter 7)
• Two-level optimization (heuristic) (Chapter 7)
• Symbolic minimization and encoding (Chapter 7)
• Binary Decision Diagrams (Chapter 2)
• Multiple-level synthesis 1 (Introduction) (Chapter 8)
• Multiple-level synthesis 2 (Boolean methods) (Chapter 8)
• Multiple-level synthesis 3 (Timing issues) (Chapter 8)
• Sequential optimization (Chapter 9)
• Library binding (Chapter 10)