Checking satisfiability of a conjunction of BDDs

Proceedings - Design Automation Conference

Volumn , Issue , 2003, Pages 818-823

  Damiano, Robert ^a   Kukula, James ^a  

^a SYNOPSYS INC   (United States)

Author keywords

BDD; Satisfiability

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY;

BINARY DECISION DIAGRAMS (BDD);

BINARY SEQUENCES;

EID: 0043136488     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/776038.776039     Document Type: Conference Paper

References (11)

1. A. R. Baker. Intelligent Backtracking on Constraint Satisfaction Problems: Experimental and Theoretical Results. PhD thesis, Univ. Oregon, 1995.
2. A. Biere. www.inf.ethz.ch/personal/biere/projects/limmat/.
3. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
4. J. R. Burch and V. Singhal. Tight integration of combinational verification methods. In Proc. Intl. Conf. on Computer-Aided Design, pages 570-576, 1998.
5. P. Chauhan, E. Clarke, S. Jha, J. Kukula, T. Shiple, H. Veith, and D. Wang. Non-linear quantification scheduling in image computation. In Proc. Intl. Conf. on Computer-Aided Design, pages 293-298, 2001.
6. A. Gupta and P. Ashar. Integrating a Boolean satisfiability checker and bdds for combinational equivalence checking. In Proc. Int'l Conf. on VLSI Design, pages 222-225, 1997.
7. J. P. Marques Silva and K. A. Sakallah. GRASP - a new search algorithm for satisfiability. In Proc. Intl. Conf. on Computer-Aided Design, pages 220-227, 1996.
8. M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proc. of the Design Automation Conf., pages 530-535, 2001.
9. R. Mukherjee, J. Jain, and D. Pradhan. Functional learning: A new approach to learning in digital circuits. In Proc. VLSI Test Symposium, pages 122-127, 1994.
10. V. Paruthi and A. Kuehlmann. Equivalence checking combining a structural sat-solver, bdds, and simulation. In Proc. Intl. Conf. on Computer Design, pages 459-464, 2000.
11. J. Yuan, K. Shultz, C. Pixley, H. Miller, and A. Aziz. Modeling design constraints and biasing in simulation using bdds. In Proc. Intl. Conf. on Computer-Aided Design, pages 584-589, Nov. 1999.