Boolean function manipulation on a parallel system using BDDs

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Boolean function manipulation on a parallel system using BDDs
Authors string: F. Bianchi, F. Corno, M. Rebaudengo, M. Sonza Reorda, R. Ansaloni
University authors:
Page Range: pp. 916-928
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Referee type: Not specified type
Publisher: Springer
ISBN: 3540628983
ISSN: 0302-9743
Volume: 1225
Event Title: High-Performance Computing and Networking International Conference and Exhibition
Event Location: Vienna (AUT)
Event Dates: April 28–30, 1997
Description/Info: This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used data structures for representing and manipulating Boolean functions. A new distributed version of a BDD data structure and a distributed implementation of the basic operator for its manipulation are presented. The algorithm is suitable to work on a MIMD architecture and is based on a message passing master-slave paradigm. A package has been written, which uses the PVM library and is portable on different architectures. Two applications have been developed using the parallel BDD package. In both cases the results show that the new distributed version of the algorithm is able to manage BDDs much larger than the ones managed by mono-processor tools
Date: 1997
Status: Published
Language of publication: English
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects:
    Date Deposited: 13 Oct 2010 18:10
    Last Modified: 22 Jan 2013 03:00
    Id Number (DOI): 10.1007/BFb0031663
    Permalink: http://porto.polito.it/id/eprint/2374682
    Linksolver URL: Linksolver link
    Share with Facebook
    Share with Delicious

    Documents

    [img] PDF (2374682) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.
    Download (680Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View Item View Item