本頁目錄
Boolean Satisfiability and Its Applications in Hardware Synthesis and Verification
Lecturers: 黃鐘揚 Chung-Yang (Ric) Huang and 江介宏 Jie-Hong Roland Jiang
Syllabus
- Introduction to Boolean Satisfiability (SAT) solvers
- SAT-based hardware verification
- SAT and interpolation in logic synthesis
- QBF evaluation and applications
Course Materials
- Decision Procedures and Hardware Synthesis [slides]
Homework
- Decision Procedures and Logic Synthesis (due on 2011/7/6 9:10am)