Elementary Switching Circuit and Logic Theories
Overview of Hardware Verification
Assertion-Based Verification
Boolean Satisfiability (SAT) Algorithms
Logic Implication and its Applications
DPLL Decision Procedure
Conflict-Driven Learning and Non-Chronological Backtracking
Decision ordering / Restart
Various learning techniques
SAT-Based Verification
Bounded and Unbounded Modeling Checking
Interpolation Technique
Future Research Directions
Introduction to modern SAT solvers
Lintao Zhang and Sharad Malik. The Quest for Efficient Boolean Satisfiability Solvers, in Proceedings of the 14th International Conference on Computer Aided Verification, pp. 17 – 36, 2002.
Boolean SAT Solvers