Download e-book for kindle: Datenstrukturen und effiziente Algorithmen für die by Prof. Dr. habil. Paul Molitor, Dr.-Ing. Christoph Scholl

By Prof. Dr. habil. Paul Molitor, Dr.-Ing. Christoph Scholl (auth.)

ISBN-10: 3322848280

ISBN-13: 9783322848284

ISBN-10: 3519029456

ISBN-13: 9783519029458

Datenstrukturen und effiziente Algorithmen spielen eine herausragende Rolle bei dem automatisierten Entwurf großer digitaler Schaltungen. Durch die Einführung neuer Technologien und der gleichzeitigen Entwicklung effizienter Datenstrukturen hat das Gebiet der Logiksynthese von digitalen Schaltungen in den letzten Jahren eine stürmische Entwicklung genommen. Das vorliegende Buch stellt die heute verwendeten Datenstrukturen und effizienten Algorithmen aus dem Bereich der logischen Synthese kombinatorischer Schaltungen vor. Im ersten Teil des Buches wird eine ausführliche, sehr anschaulich gehaltene Einführung in die zur logischen Synthese benötigten Grundlagen der Verbandstheorie und der Theorie der Booleschen Algebren gegeben und die verschiedenen Technologien, die heute als Zielarchitektur benutzt werden, werden vorgestellt. Der zweite Teil des Buches widmet sich der traditionellen zweistufigen logischen Synthese und stellt die verschiedenen exakten und heuristischen Methoden zur Berechnung von Minimalpolynomen vor. Nach einer ausführlichen Vorstellung binärer Entscheidungsgraphen (reduced ordered binary choice diagrams) beschäftigt sich das Buch dann mit der mehrstufigen Logiksynthese, insbesondere mit dem Themengebiet der funktionalen Dekomposition Boolescher Funktionen und mitalgebraischen Methoden, wie sie im an der UC Berkeley entwickelten SIS Paket benutzt werden. Das Buch ist als Lehrbuch für Lehrveranstaltungen im Bereich der Technischen Informatik für Studierende der Informatik und der Elektrotechnik konzipiert. Es wurde sehr viel Wert auf die Anschauung der Konzepte gelegt. Mit diesem Buch wurde der Versuch unternommen, eine theoretisch fundierte Darstellung der Thematik mit anschaulichen Illustrationen zu verbinden. Anhand zahlreicher Abbildungen soll der Leser zu einem tiefergehenden Verständnis der Sachverhalte hingeführt werden. Vorlesungsfolien (ca. 650 Stück) können von Dozenten über piece of email bei molitor@informatik

Show description

Read or Download Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen PDF

Similar german_4 books

Die Gebläse: Bau und Berechnung der Maschinen zur Bewegung, - download pdf or read online

Unter Geblasen versteht guy alle jene Arbeitsmaschinen, welche entweder nur eine Ortsveranderung oder eine Orts- und Druckveranderung atmosphiirischer Luft bezwecken. Eine Ortsveranderung der Luft, d. h. die Verdrangung einer bestimmten Luftmenge aus einem bestimmten Raum, ihre Fortleitung nach einem anderen Raum oder in die aussere Atmosphiire und ihre Ersetzung durch eine neue Luftmenge kann aus verschiedenen Grunden erforderlich sein.

Read e-book online Analyse elektrischer und elektronischer Netzwerke mit PDF

Dieses Buch wendet sich an Studierende der Elektrotechnik sowie an Praktiker, die sich einen raschen und grUndlichen Oberblick Uber die modernen Methoden der Netzwerkanalyse ver schaffen wollen. Der theoretische Teil ist straff nach Metho den gegliedert. Er kann als Formelsammlung zum schnellen Auf finden wichtiger Formeln benutzt werden.

Extra info for Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

Example text

Besteht eine Boolesche Algebra (M, ::;) aus 2m Elementen, so besitzt M genau m Atome. Bei der Booleschen Algebra (2Y,~) sind die Atome die einelementigen Teilmengen von Y, entsprechen also den Elementen aus Y. Jedes Element x der Ebene j aus (M,::;) laBt sich also eindeutig als Menge von j Atomen (formal als Vereinigung von j Atomen) interpretieren. Diese j 34 1 Verband, Boolesche Algebra, Boolesche Funktionen Atome sind gerade die, die wir im Hasse-Diagramm durch Pfade nach unten von x aus erreichen k6nnen.

3 Mehrstufige Realisierungen und ihre Darstellungen 61 Abb. 12 (Nichtreduzierter) geordneter binarer Entscheidungsgraph fur XIX3X4 + X2· Die gestrichelten Kanten stehen fur die low-Kanten. Die durchgezogenen Kanten stehen fur die high-Kanten. o --t--+-~ 1_+--++1 o Abb. 6 (Kosten binarer Entscheidungsgraphen) Die Kosten oder die GroBe eines binaren Entscheidungsgraphen G, in Zeichen \ G \' sind definiert als die Anzahl der inneren Knoten des Entscheidungsgraphen. 12 nochmals etwas genauer an, so stellen wir fest, daB wir die gleiche Boolesche Funktion auch kompakter darstellen konnen.

X2i < ...

Download PDF sample

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen by Prof. Dr. habil. Paul Molitor, Dr.-Ing. Christoph Scholl (auth.)


by Jeff
4.1

Rated 4.70 of 5 – based on 17 votes