Improved SAT-based Reachability Analysis with Observability Don’t Cares
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler · Journal on Satisfiability Boolean Modeling and Computation · 2008
The dramatic performance improvements of SAT solvers over the past decade have increased their deployment in hardware verification applications. Many problems that were previously too large and complex for SAT techniques can now be handled in an effi