Lecture Material

• Course Overview
• Introduction to Boolean Functions
• Exact Two Level Logic Minimization
• Heuristic Two Level Logic Minimization -- ESPRESSO
• Binary Decision Diagrams
• Introduction to Multilevel Logic Synthesis
• Synchronous Reactive Systems
• Algebraic Techniques for MLL
• Boolean Techniques for MLL
• Area Oriented Technology Mapping
• Timing Analysis
• Timing Optimization
• Synthesis for Low Power
• Testing
• Pass Transistor Logic Synthesis
• Introduction to Sequential Synthesis
• Retiming and Resynthesis
• State Minimization
• Logic Synthesis at IBM
• Sequential Verification
• Course Summary