Managing don't cares in Boolean satisfiability

• Published in: Proceedings Design, Automation and Test in Europe Conference and Exhibition Vol. 1; pp. 260 - 265 Vol.1
• Main Authors: Safarpour, S., Veneris, A., Drechsler, R., Lee, J.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 2004
• Subjects: Circuits; Computer science; Data structures; Decision making; Engines; Logic testing; Performance gain; Robustness; Terminology; Very large scale integration
• ISBN: 0769520855; 9780769520858
• ISSN: 1530-1591; 1558-1101
• DOI: 10.1109/DATE.2004.1268858

Advances in Boolean satisfiability solvers have popularized their use in many of today's CAD VLSI challenges. Existing satisfiability solvers operate on a circuit representation that does not capture all of the structural circuit characteristics and properties. This work proposes algorithms that take into account the circuit don't care conditions thus enhancing the performance of these tools. Don't care sets are addressed in this work both statically and dynamically to reduce the search space and guide the decision making process. Experiments demonstrate performance gains.