Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions

Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Authors string: Cabodi G.
University authors:
Page Range: pp. 118-130
Publisher: Springer
ISBN: 3540423451
ISSN: 0302-9743
Volume: 2102
Event Title: Computer Aided Verification 13th International Conference, CAV 2001
Event Location: Paris (FRA)
Event Dates: July 18–22, 2001
Abstract: We propose a BDD based representation for Boolean functions, which extends conjunctive/disjunctive decompositions. The model introduced (Meta-BDD) can be considered as a symbolic representation of k-Layer automata describing Boolean functions. A layer is the set of BDD nodes labeled by a given variable, and its characteristic function is represented using BDDs. Meta-BDDs are implemented upon a standard BDD library and they support layered (decomposed) processing of Boolean operations used in formal verification problems. Besides targeting reduced BDD size, the theoretical advantage of this form over other decompositions is being closed under complementation, which makes Meta-BDDs applicable to a broader range of problems
Date: 2001
Status: Published
Language of publication:
Uncontrolled Keywords:
Departments (original): DAUIN - Control and Computer Engineering
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Subjects: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Date Deposited: 20 Nov 2009 12:22
    Last modification data (IRIS): 25 Nov 2013 12:53:07
    Update date (PORTO): 23 Oct 2014 15:05
    Id Number (DOI): 10.1007/3-540-44585-4_11
    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 (1408556) - Postprint
    Document access: Not visible (accessible only to the record owner)
    Licence: Not public - Private access / Restricted.

    Download (239Kb) | Send a request to the author for a copy of the paper

    Actions (login required)

    View item (admin reserved) View item (admin reserved)