Boolean Satisfiability and Its Applications in Hardware Synthesis and Verification

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

en/lecture/satisfiability.txt · Last modified: 2011/07/05 10:03 by mht208