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

Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions
Autori: Cabodi G.
Autori di ateneo:
Intervallo pagine: pp. 118-130
Titolo del periodico: LECTURE NOTES IN COMPUTER SCIENCE
Editore: Springer
ISBN: 3540423451
ISSN: 0302-9743
Volume: 2102
Titolo del convegno: Computer Aided Verification 13th International Conference, CAV 2001
Luogo dell'evento: Paris (FRA)
Data dell'evento: 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
Data: 2001
Status: Pubblicato
Lingua della pubblicazione:
Parole chiave:
Dipartimenti (originale): DAUIN - Dipartimento di Automatica Informatica
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare: Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
    Data di deposito: 20 Nov 2009 12:22
    Data ultima modifica (IRIS): 25 Nov 2013 12:53:07
    Data inserimento (PORTO): 23 Ott 2014 15:05
    Numero Identificativo (DOI): 10.1007/3-540-44585-4_11
    Permalink: http://porto.polito.it/id/eprint/1408556
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    +
    -

    Allegati

    [img] PDF (1408556) - Postprint
    Accesso al documento: Non visibile (accessibile solo al proprietario del dato)
    Licenza: Non pubblico - Accesso privato / Ristretto.

    Download (239Kb (244864 bytes)) | Spedisci una richiesta all'autore per una copia del documento

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)