Bddnow: A parallel BDD package

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1522, Issue , 1998, Pages 501-507

  Milvang Jensen, Kim ^a   Hu, Alan J ^b  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); BINARY DECISION DIAGRAMS; COMPUTER AIDED DESIGN; FORMAL VERIFICATION; PERSONAL COMPUTERS;

APPLICATION PROGRAMMERS; COMMUNICATION OVERHEADS; DYNAMIC VARIABLES; FORMAL VERIFICATION TOOLS; MEMORY UTILIZATION; PARALLEL PROCESSING; SPEED UP;

BOOLEAN FUNCTIONS;

EID: 84948959324     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49519-3_32     Document Type: Conference Paper

References (8)

1. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
2. A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine —A Users’ Guide and Tutorial for Networked Parallel Computing. MIT Press, 1994. See also: http://www.epm.ornl.gov/pvm/pvm_home.html.
3. C. Meinel and A. Slobodova. Speeding up variable reordering of OBDDs. In International Conference on Computer Design, pages 338-343. IEEE, October 1997.
4. R. K. Ranjan, W. Gosti, R. K. Brayton, and A. Sangiovanni-Vincentelli. Dynamic reordering in a breadth-first manipulation based BDD package: Challenges and solutions. In International Conference on Computer Design, pages 344-351. IEEE, October 1997.
5. R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In International Conference on Computer-Aided Design, pages 42-47. IEEE, 1993.
6. J. V. Sanghavi, R. K. Ranjan, R. K. Brayton, and A. Sangiovanni-Vincentelli. High performance BDD package by exploiting memory hierarchy. In 33th Design Automation Conference, pages 635-640. ACM/IEEE, 1996.
7. F. Somenzi. CUDD: CU decision diagram package. Available from: ftp://vlsi.colorado.edu/pub/.
8. T. Stornetta and F. Brewer. Implementation of an efficient parallel BDD package. In 33th Design Automation Conference, pages 641-644. ACM/IEEE, 1996.