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
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
Abstract: 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:
    Date Deposited: 13 Oct 2010 18:40
    Last modification data (IRIS): 25 Nov 2013 11:01:11
    Update date (PORTO): 28 Oct 2014 12:57
    Id Number (DOI): 10.1007/BFb0031663
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto



    [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 (admin reserved) View item (admin reserved)