Del i serien XLeitfäden der Informatik

Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

Häftad, Tyska, 1998

AvRolf Drechsler,Bernd Becker

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1998-01-01
Mått170 x 244 x 12 mm
Vikt362 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor200
Upplaga1998
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519021490

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

1 Einleitung.- 2 Decision Diagrams.- 2.1 Einleitung.- 2.2 Boolesche Funktionen, Pseudo-Boolesche Funktionen.- 2.3 Grundlagen.- 2.4 Restriktionen.- 2.5 Reduktion.- 2.6 Aufgaben.- 3 Bit-level Decision Diagrams.- 3.1 Einleitung.- 3.2 Allgemeine Bemerkungen.- 3.3 Binary Decision Diagrams.- 3.4 Functional Decision Diagrams.- 3.5 Kronecker Functional Decision Diagrams.- 3.6 Komplementierte Kanten.- 3.7 Aufgaben.- 4 Word-level Decision Diagrams.- 4.1 Einleitung.- 4.2 Kantengewichte.- 4.3 Multi-Terminal Binary Decision Diagrams.- 4.4 Edge-Valued Binary Decision Diagrams.- 4.5 Multiplicative Binary Moment Diagrams.- 4.6 Kronecker Multiplicative Binary Moment Diagrams.- 4.7 Aufgaben.- 5 Darstellungsgröße von Decision Diagrams.- 5.1 Einleitung.- 5.2 Bit-level Decision Diagrams.- 5.3 Word-level Decision Diagrams.- 5.4 Überblick.- 5.5 Aufgaben.- 6 Algorithmen für Decision Diagrams.- 6.1 Einleitung.- 6.2 Auswertung und Erfüllbarkeit.- 6.3 Syntheseoperationen.- 6.4 Minimieren von DDs.- 6.5 Aufgaben.- 7 Implementierung.- 7.1 Einleitung.- 7.2 Ein einfaches BDD-Paket.- 7.3 Speicherverwaltung.- 7.4 Verfügbare Pakete.- 7.5 Aufgaben.- 8 Experimentelle Ergebnisse.- 8.1 Einleitung.- 8.2 Bit-level Decision Diagrams.- 8.3 Word-level Decision Diagrams.- 8.4 Aufgaben.- 9 Ausblick und weitere Anwendungen.- 9.1 Einleitung.- 9.2 Logiksynthese.- 9.3 Testen.- 9.4 Verifikation.- 9.5 Ausblicke.- 10 Weitere Ansätze mit Decision Diagrams.- 10.1 Einleitung.- 10.2 Zero-Suppressed-BDDs.- 10.3 Freie Decision Diagrams.- 10.4 Mehrfachlesen von Variablen.- 10.5 Mehrwertige Decision Diagrams.- 10.6 Decision Diagrams mit Operationsknoten.- 10.7 Aufgaben.- 11 Schlußbemerkung.

Mer från samma författare

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

Inbunden, 2005

2 149 kr

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller

Inbunden, 2001

2 209 kr

Formal Verification of Circuits

Rolf Drechsler

Inbunden, 2000

2 149 kr

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler

Inbunden, 1998

1 439 kr

Binary Decision Diagrams

Rolf Drechsler, Bernd Becker

Inbunden, 1998

2 149 kr

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler

Inbunden, 2008

1 439 kr

Towards One-Pass Synthesis

Rolf Drechsler, Wolfgang Günther

Inbunden, 2002

1 439 kr

Evolutionary Algorithms for Embedded System Design

Rolf Drechsler, Nicole Drechsler

Inbunden, 2002

1 479 kr

Advanced Formal Verification

Rolf Drechsler

Inbunden, 2004

1 439 kr

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

Häftad, 2010

2 149 kr

Mer från samma serie

Kompendium Theoretische Informatik — eine Ideensammlung

Ingo Wegener

Häftad, 1996

529 kr

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

739 kr

Algorithmische Grundlagen der Bioinformatik

Hans-Joachim Böckenhauer, Dirk Bongartz, Hans-Joachim Böckenhauer, Dirk Bongartz

Häftad, 2003

609 kr

Approximationsalgorithmen

Rolf Wanka

Häftad, 2006

529 kr

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

539 kr

Protocol Engineering

Hartmut König

Häftad, 2003

609 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

699 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

449 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

679 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

939 kr

Du kanske också är intresserad av

Binary Decision Diagrams

Rolf Drechsler, Bernd Becker

Inbunden, 1998

2 149 kr

Binary Decision Diagrams

Rolf Drechsler, Bernd Becker

Häftad, 2010

2 149 kr

Statistik

Bernd Becker

Inbunden, 1993

1 639 kr

Sviluppo e progettazione di un programma di acquisizione dati LabVIEW

Bernd Becker

Häftad, 2025

579 kr

Exzellenz in Markenmanagement und Vertrieb

Dieter Ahlert, Bernd Becker, Heiner Evanschitzky, Josef Hesse, André Salfeld

Häftad, 2005

969 kr

Opracowanie i projektowanie programu do gromadzenia danych LabVIEW

Bernd Becker

Häftad, 2025

589 kr

Development and design of a LabVIEW data acquisition programme

Bernd Becker

Häftad, 2025

589 kr

Technische Informatik

Bernd Becker, Paul Molitor

Inbunden, 2008

699 kr

Was weg ist, ist weg

Bernd Becker, Gerd-Matthias Hoeffchen

Inbunden

209 kr

Abendfibel müder Seelen

Bernd Becker, Hans Möhler

Inbunden, 2019

209 kr

Del i serien XLeitfäden der Informatik

Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

Häftad, Tyska, 1998

AvRolf Drechsler,Bernd Becker

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1998-01-01
Mått170 x 244 x 12 mm
Vikt362 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor200
Upplaga1998
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519021490

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

1 Einleitung.- 2 Decision Diagrams.- 2.1 Einleitung.- 2.2 Boolesche Funktionen, Pseudo-Boolesche Funktionen.- 2.3 Grundlagen.- 2.4 Restriktionen.- 2.5 Reduktion.- 2.6 Aufgaben.- 3 Bit-level Decision Diagrams.- 3.1 Einleitung.- 3.2 Allgemeine Bemerkungen.- 3.3 Binary Decision Diagrams.- 3.4 Functional Decision Diagrams.- 3.5 Kronecker Functional Decision Diagrams.- 3.6 Komplementierte Kanten.- 3.7 Aufgaben.- 4 Word-level Decision Diagrams.- 4.1 Einleitung.- 4.2 Kantengewichte.- 4.3 Multi-Terminal Binary Decision Diagrams.- 4.4 Edge-Valued Binary Decision Diagrams.- 4.5 Multiplicative Binary Moment Diagrams.- 4.6 Kronecker Multiplicative Binary Moment Diagrams.- 4.7 Aufgaben.- 5 Darstellungsgröße von Decision Diagrams.- 5.1 Einleitung.- 5.2 Bit-level Decision Diagrams.- 5.3 Word-level Decision Diagrams.- 5.4 Überblick.- 5.5 Aufgaben.- 6 Algorithmen für Decision Diagrams.- 6.1 Einleitung.- 6.2 Auswertung und Erfüllbarkeit.- 6.3 Syntheseoperationen.- 6.4 Minimieren von DDs.- 6.5 Aufgaben.- 7 Implementierung.- 7.1 Einleitung.- 7.2 Ein einfaches BDD-Paket.- 7.3 Speicherverwaltung.- 7.4 Verfügbare Pakete.- 7.5 Aufgaben.- 8 Experimentelle Ergebnisse.- 8.1 Einleitung.- 8.2 Bit-level Decision Diagrams.- 8.3 Word-level Decision Diagrams.- 8.4 Aufgaben.- 9 Ausblick und weitere Anwendungen.- 9.1 Einleitung.- 9.2 Logiksynthese.- 9.3 Testen.- 9.4 Verifikation.- 9.5 Ausblicke.- 10 Weitere Ansätze mit Decision Diagrams.- 10.1 Einleitung.- 10.2 Zero-Suppressed-BDDs.- 10.3 Freie Decision Diagrams.- 10.4 Mehrfachlesen von Variablen.- 10.5 Mehrwertige Decision Diagrams.- 10.6 Decision Diagrams mit Operationsknoten.- 10.7 Aufgaben.- 11 Schlußbemerkung.