Vor Ort
Merkzettel Warenkorb
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design

Algorithmen und Datenstrukturen im VLSI-Design OBDD — Grundlagen und Anwendungen

56,90 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1998

Abbildungen

XIII, mit 116 Abbildungen 23,5 cm

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,3/15,5/1,7 cm

Gewicht

460 g

Auflage

1998

Sprache

Deutsch

ISBN

978-3-540-63869-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.1998

Abbildungen

XIII, mit 116 Abbildungen 23,5 cm

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,3/15,5/1,7 cm

Gewicht

460 g

Auflage

1998

Sprache

Deutsch

ISBN

978-3-540-63869-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • Produktbild: Algorithmen und Datenstrukturen im VLSI-Design
  • Einleitung.- Grundlagen.- Aussagen und Prädikate.- Mengen, Relationen und Funktionen.- Graphen.- Algorithmen und Datenstrukturen,- Komplexität von Algorithmen.- Endliche Automaten und Finite State Machines.- Referenzen.- Datenstrukturen für Schaltfunktionen.- Boolesche Funktionen.- Boolesche Algebra.- Boolesche Formeln und Funktionen.- Schaltfunktionen.- Referenzen.- Klassische Darstellungen.- Wahrheitstabellen.- Zweistufige Normalformen.- Schaltkreise und Formeln.- Binäre Entscheidungsbäume und -graphen.- Referenzen.- Anforderungen an Datenstrukturen für die formale Schaltkreisverifikation.- Formale Schaltkreisverifikation.- Funktionale Verifikation kombinatorischer Schaltkreise.- Referenzen.- OBDDs: Eine effiziente Datenstruktur.- OBDDS - Geordnete binäre Entscheidungsgraphen.- Bezeichnungen und Beispiele.- Reduzierte OBDDs: eine kanonische Darstellung für Schaltfunktionen.- Der Reduktionsalgorithmus.- Grundlegende Konstruktionen.- Ausführung binärer Operationen und Äquivalenztest.- Referenzen.- Effiziente Implementierung von OBDDs.- Schlüsselkonzepte.- Bekannte OBDD-Pakete.- Referenzen.- Einfluß der Variablenordnung auf die Komplexität von OBDDs.- Zusammenhang zwischen Variablenordnung und OBDD-Größe.- Exponentielle untere Schranken.- OBDDs mit verschiedenen Variablenordnungen.- Komplexität der Minimierung.- Referenzen.- Optimierung der Variablenordnung.- Heuristiken.- Dynamisches Umordnen.- Quantitative Aussagen.- Referenzen.- Anwendungen und Erweiterungen.- Analyse sequentieller Systeme.- Formale Verifikation.- Grundlegende Operatoren.- Erreichbarkeitsanalyse.- Effiziente Bildberechnung.- Referenzen.- Symbolisches Model Checking.- Computation Tree Logic.- CTL-Model Checking.- Implementierungen.- Referenzen.- Varianten und Erweiterungen von OBDDs.- Lockerung der Ordnungsrestriktionen.- Alternative Dekompositionstypen.- Zero-suppressed BDD.- Mehrwertige Funktionswerte.- Referenzen.- Transformationtechniken zur Optimierung.- TransformierteEntscheidungsgraphen.- Typbasierte Transormationen.- Lineare Transformationen.- Referenzen.- Literaturverzeichnis.