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

zh-tw/lecture/satisfiability.txt · 上一次變更: 2011/04/29 04:49 來自 mht208