DAIDEN.IN Book Archive > German 4 > Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.)'s Algorithmen und Datenstrukturen im VLSI-Design: OBDD — PDF

Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.)'s Algorithmen und Datenstrukturen im VLSI-Design: OBDD — PDF

By Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.)

ISBN-10: 3540638695

ISBN-13: 9783540638698

ISBN-10: 3642587739

ISBN-13: 9783642587733

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.

Show description

Read or Download Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen PDF

Best german_4 books

New PDF release: Transport- und Lagerlogistik: Planung, Aufbau und Steuerung

BuchhandelstextDer Schwerpunkt des Buches liegt auf der planerischen shipping- und Lagertechnik mit notwendiger Vordimensionierung. Die bearbeiteten Themen der shipping- und Lagerbereiche sind nach funktionellem Aufbau, Vor- und Nachteilen, Einsatzgebieten und planerisch interessierenden Fakten dargestellt.

Technische Informatik 2: Grundlagen der Computertechnik - download pdf or read online

Die beiden B? nde Technische Informatik bieten einen verst? ndlichen Einstieg in dieses wichtige Teilgebiet der Informatik. Leser mit unterschiedlichen Vorkenntnissen gewinnen schrittweise einen ? berblick ? ber die ben? tigten elektrotechnischen und elektronischen Grundlagen. Auf dieser foundation werden die Komponenten und Strukturen von heutigen Computersystemen eingef?

Extra info for Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen

Sample text

Das komplementare Problem A eines Entscheidun9sproblems A geht dadurch aus A hervor, daft alle Antworten negiert werden. Ein Entscheidungsproblem A heiftt co-NP-vollstiindig, wenn das komplementare Problem A NP-vollstandig ist. 12. Das folgende Problem ist co-NP-vollstandig: Eingabe: Ein ungerichteter Graph mit n Knoten. Ausgabe: "Ja", wenn es keinen zyklischen Pfad der Lange n gibt, auf dem jeder Knoten des Graphen genau einmal besucht wird. "Nein" im anderen 0 ~. 6 Hashverfahren Hashing. Unter dem Begriff Hashverfahren oder Hashing versteht man Datenspeicherungs- und Suchverfahren, bei denen die Adressen von Datensatzen aus den zugehorigen Schliisseln berechnet werden konnen.

3 Schaltfunktionen Foiglich kann werden. I 51 nicht durch eine gewichtete Threshold-Funktion dargestellt 0 Eine wichtige strukturelle Eigenschaft gewichteter Threshold-Funktionen besagt, daB die Funktion in jeder Eingabe monoton wachsend oder monoton fallend ist. Der Beweis dieser Aussage erfolgt durch Verallgemeinerung der Argumente aus dem voranstehenden Beispiel. 7 Partielle Schaltfunktionen Bei der Beschreibung des funktionalen Verhaltens eines digitalen Systems ist es oft nicht notwendig, das Verhalten fur alle prinzipiell moglichen Eingabekonstellationen zu spezifizieren.

Monoton fallend genannt. Die folgende Charakterisierung monoton wachsender bzw. monoton fallender Funktionen konnte aueh als Definition dieser Begriffe verwendet werden. 27. (1) Eine Funktion f E :IBn ist genau dann monoton wachsend, wenn fUr a, bE Jan aus a ~ b stets f(a) ~ f(b) folgt. (2) Eine Funktion f E :IBn ist genau dann mono ton fallend, wenn fUr a, b E Jan aus a ~ b stets f(a) ~ f(b) folgt. Beweis. Die Aussagen (1) und (2) konnen dureh zueinander analoge Oberlegungen naehgewiesen werden.

Download PDF sample

Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen by Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.)


by Steven
4.3

Rated 4.31 of 5 – based on 39 votes