Algorithmen und Datenstrukturen im VLSI-Design: OBDD — by Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.) 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 Online or Download Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen PDF

Similar german_4 books

Download e-book for iPad: Schalentheorie by Prof. Dr. Ernest L. Axelrad (auth.)

Die Schalentheorie hat bereits eine hundertjährige Entwicklung hinter sich. Die Zeit (1888), als die grundlegende Arbeit der Schalentheorie [91] vom Autor als" . .. eigentlich ein Versuch, die Vibration der Kirchenglocken zu untersuchen" verstanden wurde, ist längst vorbei. Die Theorie wurde zur Grundlage für die examine und Berechnung unzähli­ ger Konstruktionen im Maschinen-, Flugzeug- und Schiffbau sowie bei Flächentragwerken des Bauingenieurwesens.

Additional resources for Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen

Example text

1 Wahrheitstabellen Aufgrund der Endlichkeit jeder Booleschen Funktion ist - zumindest im Prinzip - eine vollstandige tabellarische Erfassung ihrer Argumente zusammen mit den entsprechenden Funktionswerten moglich. Tatsachlich hat diese Tabellendarstellung vermittels sogenannter Wahrheitstabellen bzw. B. n ~ 7) eine grof3e praktische Bedeutung. 25. 1. 1 zeigt die Wahrheitstabelle der Multiplikationsfunktion MU~,2 E ~,4' einer Funktion mit vier Ausgangen. MUL2,2 = MUL(Xl,XO,Yl,YO) ist dabei die Schaltfunktion, die die Eingaben XIXO und Yl Yo als Dualzahlen der Lange 2 auffaf3t und ihnen die binare Reprasentation ihres Produkts zuordnet.

Bei der Beurteilung dieser Frage ist der folgende Darstellungssatz itir im i-ten Eingang monotone Funktionen von grof3er Bedeutung, den wir ohne Beweis angeben. 29. (1) Eine Boolesche Funktion I E Jan ist genau dann im iten Eingang monoton wachsend, wenn sich I mit Hille zweier nicht von Xi abhiingender Funktionen 9 und h darstellen liiflt als I = Xi 9 + h. (2) Eine Boolesche Funktion I E Jan ist genau dann im i-ten Eingang monoton lallend, wenn sich I mit Hille zweier nicht von Xi abhiingender Funktionen 9 und h darstellen liiflt als I = Xi 9 + h.

XI,X2,X3) X3· Dariiber hinaus sind! und 9 partiell symmetrisch bzgl. der Variablen XI,X3. 6 Threshold-Funktionen Bei der Beschreibung symmetrischer Funktionen in Abschn. 5 haben wir bereits die Klasse der Threshold-Funktionen Tt: erwahnt. Diese Klasse ist 50 3. Boolesche F'unktionen Abb. S. Threshold-F'unktion von groBer Bedeutung bei der Modellierung biologischer Neuronen und damit fUr die Konstruktion kiinstlicher neuronaler Netzwerke. In dem biologischen Szenario ist die Membran der Neuronenzelle in der Lage, einer gewissen elektrischen Ladung standzuhalten.

Download PDF sample

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


by Jason
4.0

Rated 4.56 of 5 – based on 40 votes