Article

Free access

Implementation of an efficient parallel BDD package

Authors:

Tony Stornetta,

Forrest BrewerAuthors Info & Claims

DAC '96: Proceedings of the 33rd annual Design Automation Conference

Pages 641 - 644

https://doi.org/10.1145/240518.240639

Published: 01 June 1996 Publication History

PDF eReader

References

[1]

Y. Parasuram, E. Stabler and Shiu-Kai Chin. "Parallel Implementation of BDD Algorithms Using a Distributed Shared Memory." In Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences Vol I: Architecture, pp 16-25, January 1994.

Google Scholar

[2]

S. Kimura, T. Igaki, H. Haneda. "Parallel Binary Decision Diagram Manipulation." In IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E75-A, No. 10, pp 1255-62, October 1992.

Google Scholar

[3]

K.S. Brace, R. L. Rudell, and R. E. Bryant. "Efficient Implementation of a BDD Package." In Proceedings of 27th ACM/ IEEE Design Automation Conference, pp. 40-45, June 1990.

Digital Library

Google Scholar

[4]

R.E. Bryant. "Graph-Based Algorithms for Boolean Function Manipulation." IEEE Transactions on Computers, Vol. C-35, No. 8, pp. 677-691, August 1986.

Digital Library

Google Scholar

[5]

S. Minato, N. Ishiura and S. Yajima. "Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation." In Proceedings of 27th ACM/IEEE Design Automation Conference, pp. 52-57, June 1990.

Digital Library

Google Scholar

[6]

R. Rudell. "Dynamic Variable Ordering for Ordered Binary Decision Diagrams." In Proceedings of the IEEE International Conference on Computer-Aided Design, pp. 42-47, Santa Clara, CA, November 1993.

Digital Library

Google Scholar

[7]

H. Ochi, K. Yasuoka, S. Yajima. "Breadth-First Manipulation of Very Large Binary-Decision Diagrams." In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pp. 48-55, 1993.

Digital Library

Google Scholar

[8]

D. Culler et al. "Parallel Programming in Split-C." In Proceedings SUPERCOMPUTING '93, pp 262-73, November 1993.

Digital Library

Google Scholar

[9]

S. Gai, M. Rebaudengo, M. S. Reorda. "A Data Parallel Algorithm for Boolean Function Manipulation." In Proceedings. Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation, pp 28-34, February 1995.

Digital Library

Google Scholar

[10]

H Ochi, S. Yajima, N. Ishiura. "A Vector Algorithm for Manipulating Boolean Functions Based on Shared Binary Decision Diagrams." Supercomputer, Vol. 8, No. 6, November 1991.

Google Scholar

[11]

E Ashar and M. Cheong, "Efficient Breadth-First manipulation of Binary Decision Diagrams", Proceedings IEEE International Conference Computer-Aided Design, pp. 622-627, 1994.

Digital Library

Google Scholar

[12]

S.-I. Minato, "Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems", Proc. 30th ACM/IEEE Design Automation Conference, pp. 272-277, 1993.

Digital Library

Google Scholar

[13]

S. Kimura, "Residue BDD and Its Application to the Verification of Arithmetic Circuits", Proc. 32th ACM/IEEE Design Automation Conference, pp. 542-545, 1995.

Digital Library

Google Scholar

Cited By

View all

Zulehner AWille RZulehner AWille R(2023)Effiziente Implementierung von DDs im QuantenbereichEinführung in die Entwurfsautomatisierung für Quantencomputer10.1007/978-3-031-36751-9_7(73-84)Online publication date: 15-Dec-2023
https://doi.org/10.1007/978-3-031-36751-9_7
Maier TSanders PDementiev R(2019)Concurrent Hash TablesACM Transactions on Parallel Computing10.1145/33092065:4(1-32)Online publication date: 22-Feb-2019
https://dl.acm.org/doi/10.1145/3309206
van Dijk Tvan de Pol J(2018)Multi-core Decision DiagramsHandbook of Parallel Constraint Reasoning10.1007/978-3-319-63516-3_13(509-545)Online publication date: 6-Apr-2018
https://doi.org/10.1007/978-3-319-63516-3_13
Show More Cited By

Index Terms

Implementation of an efficient parallel BDD package
1. Hardware
  1. Electronic design automation
    1. Physical design (EDA)
2. Theory of computation
  1. Models of computation
    1. Abstract machines

Recommendations

A Succinct and Efficient Implementation of a 2^32 BDD Package
TASE '12: Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering

As a data structure for representing and manipulating Boolean functions, BDDs (Binary Decision Diagrams) are commonly used in many fields such as model-checking, system verification and so on. For saving space and improving operation speed, all the ...
A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel

The development and applications of a parallel, time-dependent incompressible Navier Stokes flow solver and a parallel multigrid elliptic kernel are described.The flow solver is based on a second-order projection method applied to a staggered finite-...
A BDD-Like implementation of an automata package
CIAA'04: Proceedings of the 9th international conference on Implementation and Application of Automata

Finite Automata are basic structures that appear in many areas of Computer Science and other disciplines. The emergence of new tools based on automata for the manipulation of infinite structures [4,5,1] makes a crucial challenge of improving the ...

Comments

Information & Contributors

Information

Published In

DAC '96: Proceedings of the 33rd annual Design Automation Conference

June 1996

839 pages

ISBN:0897917790

DOI:10.1145/240518

Chairmen:
Thomas P. Pennino
Bell Labs, Holmdel, NJ
,
Ellen J. Yoffa
IBM Corp., Yorktown Heights, NY

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC96

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC96: The 33rd Design Automation Conference

June 3 - 7, 1996

Nevada, Las Vegas, USA

Acceptance Rates

DAC '96 Paper Acceptance Rate 142 of 377 submissions, 38%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
543
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)14

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Zulehner AWille RZulehner AWille R(2023)Effiziente Implementierung von DDs im QuantenbereichEinführung in die Entwurfsautomatisierung für Quantencomputer10.1007/978-3-031-36751-9_7(73-84)Online publication date: 15-Dec-2023
https://doi.org/10.1007/978-3-031-36751-9_7
Maier TSanders PDementiev R(2019)Concurrent Hash TablesACM Transactions on Parallel Computing10.1145/33092065:4(1-32)Online publication date: 22-Feb-2019
https://dl.acm.org/doi/10.1145/3309206
van Dijk Tvan de Pol J(2018)Multi-core Decision DiagramsHandbook of Parallel Constraint Reasoning10.1007/978-3-319-63516-3_13(509-545)Online publication date: 6-Apr-2018
https://doi.org/10.1007/978-3-319-63516-3_13
Oortwijn WDijk TPol JErdogmus HHavelund K(2017)Distributed binary decision diagrams for symbolic reachabilityProceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software10.1145/3092282.3092284(21-30)Online publication date: 13-Jul-2017
https://dl.acm.org/doi/10.1145/3092282.3092284
Dijk TPol J(2017)SylvanInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-016-0433-219:6(675-696)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s10009-016-0433-2
Dijk TPol J(2015)SylvanProceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 903510.1007/978-3-662-46681-0_60(677-691)Online publication date: 11-Apr-2015
https://dl.acm.org/doi/10.1007/978-3-662-46681-0_60
Velev MGao P(2014)Efficient parallel GPU algorithms for BDD manipulation2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASPDAC.2014.6742980(750-755)Online publication date: Jan-2014
https://doi.org/10.1109/ASPDAC.2014.6742980
Cabodi GNocco SQuer S(2013)Thread-based multi-engine model checking for multicore platformsACM Transactions on Design Automation of Electronic Systems10.1145/2491477.249148018:3(1-28)Online publication date: 29-Jul-2013
https://dl.acm.org/doi/10.1145/2491477.2491480
Kunkle DSlavici VCooperman G(2010)Parallel disk-based computation for large, monolithic binary decision diagramsProceedings of the 4th International Workshop on Parallel and Symbolic Computation10.1145/1837210.1837222(63-72)Online publication date: 21-Jul-2010
https://dl.acm.org/doi/10.1145/1837210.1837222
Abujarad FKulkarni S(2009)Multicore Constraint-Based Automated StabilizationProceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems10.1007/978-3-642-05118-0_4(47-61)Online publication date: 5-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-05118-0_4
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A Succinct and Efficient Implementation of a 2^32 BDD Package

A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel

A BDD-Like implementation of an automata package

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

A Succinct and Efficient Implementation of a 2^32 BDD Package

A Parallel Incompressible Flow Solver Package with a Parallel Multigrid Elliptic Kernel

A BDD-Like implementation of an automata package

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations