Logo des Repositoriums
 
Zeitschriftenartikel

Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

1997

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Informatik-Spektrum: Vol. 20, No. 5

Verlag

Springer-Verlag

Zusammenfassung

Beschreibung

Meinel, Christoph; Theobald, Thorsten (1997): Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik-Spektrum: Vol. 20, No. 5. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 268-275

Schlagwörter

binäre Entscheidungsgraphen. , binary decision diagrams. , Data structures for Boolean functions , Datenstrukturen für Boolesche Funktionen , formal verification , formale Verifikation , highly integrated circuits , hochintegrierte Schaltungen ,   Computer-aided design ,   rechnergestützter Entwurf , VLSI design , VLSI Design

Zitierform

DOI

Tags

Sammlungen

Band 20 - Heft 5 (Oktober 1997)