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
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
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
Description/Info: 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:11
    Last Modified: 24 Jan 2013 03:01
    Id Number (DOI): 10.1007/3-540-44585-4_11
    Permalink: http://porto.polito.it/id/eprint/1408556
    Linksolver URL: Linksolver link
    Citations:
    This field present the citation number present on Scopus and Web of science databases e links to the reote 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.
    • The PORTO citations are extracted monthly. That in the db is in real time
    • Il numero di citazioni per WoS non tiene conto delle citazioni dei Proceedings, in quanto i dati forniti sono calcolati solo sulla base delle collezioni in abbanonamento e il Politcnico di torino non è abbonato al Proceedings Citation Index

    For informations contact porto@polito.it
    • Web of Science: 2 [link]
    • Scholar: - [link]
    +
    -
    Share with Facebook
    Share with Delicious

    Documents

    [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 View Item