Graphenbasierte Funktionsdarstellung

Boolesche und Pseudo-Boolesche Funktionen

AvRolf Drechsler,Bernd Becker

Häftad, Tyska, 1998

Del i serien XLeitfäden der Informatik

507 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1998-01-01
Mått:170 x 244 x 12 mm
Vikt:362 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:200
Upplaga:1998
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519021490

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler

Inbunden, 2023

971 kr

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

Inbunden, 2005

1 613 kr

Advanced BDD Optimization

Rolf Drechsler, Gorschwin Fey, Rudiger Ebendt

E-bok

2005

2 044 kr

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller

Inbunden, 2001

1 661 kr

Formal Verification of Circuits

Rolf Drechsler

Inbunden, 2000

1 613 kr

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler

Inbunden, 1998

1 078 kr

Binary Decision Diagrams

Rolf Drechsler, Bernd Becker

Inbunden, 1998

1 613 kr

Rolf Drechsler - Advanced Formal Verification, E-bok

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler

Inbunden, 2008

1 078 kr

Robustness and Usability in Modern Design Flows

Rolf Drechsler, Gorschwin Fey

E-bok

2008

1 413 kr

Mer från samma serie

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

557 kr

Algorithmische Grundlagen der Bioinformatik

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

Häftad, 2003

457 kr

Rolf Wanka - Approximationsalgorithmen, Häftad

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

407 kr

Hartmut König - Protocol Engineering, Häftad

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

337 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

507 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

707 kr

Arndt Bode, Ulrich Brüning, Mario Dal Cin, Wolfgang Händler, Friedrich Hertweck, Ulrich Herzog, Fridolin Hofmann, Rainer Klar, Claus-Uwe Linster, Wolfgang Rosenstiel, Hans-Jürgen Schneider, Jörg Wedeck, Hans Zima, B. M. Chapman, Klaus Waldschmidt