Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
Taschenbuch von Christoph Scholl (u. a.)
Sprache: Deutsch

44,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor­ matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal­ tungen, also dem Problem, eine moglichst in Platz und Zeit effiziente Rea­ lisierung einer vorgegebenen Booleschen Funktion zu finden. Viele bekannte und weniger bekannte Wissenschaftler haben sich in den letzten 50 Jahren mit dieser grundlegenden Thematik der Technischen Informatik befafit. Stellver­ tretend seien C. E. Shannon, W. Quine, EJ. McCluskey, J. P. Roth und O. B. Lupanov genannt. Wahrend sich die Arbeiten bis in die 80er Jahre aufgrund der ungenfigenden zur Verfiigung stehenden Rechenkapazitaten vorwiegend mit (komplexitats-) theo­ retischen Aspekten beschaftigt haben, ist in den letzten 15 Jahren der prakti­ sche Aspekt immer mehr in den Vordergrund geriickt. Ein Anstofi hierfiir ist si­ cherlich in der rasanten Entwicklung der Hochstintegration und in der hieraus resultierenden Moglichkeit zum Entwurf sehr grofier (anwendungsspezifischer) digitaler Systeme, die in ihrer Komplexitat ohne Rechnerunterstfitzung mitt­ lerweile nicht mehr zu beherrschen sind, zu sehen. Ein weiterer Grund besteht in der Verfiigbarkeit schneller Rechentechnik, die es erst erlaubt, Instanzen, die fiber Spielbeispiele hinausgehen, in Angriff zu nehmen. Durch die Bereit­ stellung neuer Technologien -als Beispiel seien die Field Programmable Gate Arrays (FPGA) genannt, die in ihren Moglichkeiten weit fiber die der Program­ mable Logic Arrays (PLA) hinausgehen - und wiederum durch die rasant ge­ stiegene Leistungsfahigkeit heutiger Rechner, die es erlaubt, komplexere Auf­ gabenstellungen anzugehen, ist das Interesse von der zweistufigen logischen Synthese weg zur mehrstufigen Logiksynthese gerfickt.
Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor­ matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal­ tungen, also dem Problem, eine moglichst in Platz und Zeit effiziente Rea­ lisierung einer vorgegebenen Booleschen Funktion zu finden. Viele bekannte und weniger bekannte Wissenschaftler haben sich in den letzten 50 Jahren mit dieser grundlegenden Thematik der Technischen Informatik befafit. Stellver­ tretend seien C. E. Shannon, W. Quine, EJ. McCluskey, J. P. Roth und O. B. Lupanov genannt. Wahrend sich die Arbeiten bis in die 80er Jahre aufgrund der ungenfigenden zur Verfiigung stehenden Rechenkapazitaten vorwiegend mit (komplexitats-) theo­ retischen Aspekten beschaftigt haben, ist in den letzten 15 Jahren der prakti­ sche Aspekt immer mehr in den Vordergrund geriickt. Ein Anstofi hierfiir ist si­ cherlich in der rasanten Entwicklung der Hochstintegration und in der hieraus resultierenden Moglichkeit zum Entwurf sehr grofier (anwendungsspezifischer) digitaler Systeme, die in ihrer Komplexitat ohne Rechnerunterstfitzung mitt­ lerweile nicht mehr zu beherrschen sind, zu sehen. Ein weiterer Grund besteht in der Verfiigbarkeit schneller Rechentechnik, die es erst erlaubt, Instanzen, die fiber Spielbeispiele hinausgehen, in Angriff zu nehmen. Durch die Bereit­ stellung neuer Technologien -als Beispiel seien die Field Programmable Gate Arrays (FPGA) genannt, die in ihren Moglichkeiten weit fiber die der Program­ mable Logic Arrays (PLA) hinausgehen - und wiederum durch die rasant ge­ stiegene Leistungsfahigkeit heutiger Rechner, die es erlaubt, komplexere Auf­ gabenstellungen anzugehen, ist das Interesse von der zweistufigen logischen Synthese weg zur mehrstufigen Logiksynthese gerfickt.
Inhaltsverzeichnis
1 Verband, Boolesche Algebra, Boolesche Funktionen.- 1.1 Partielle Ordnung, Hasse-Diagramm, Verband.- 1.2 Boolesche Algebren.- 1.3 Die Algebra der Booleschen Funktionen mit n Variablen.- 1.4 Unvollständig spezifizierte Boolesche Funktionen.- 2 Technologien, Modelle und Kostenmaße.- 2.1 Nurlesespeicher und Funktionstafeln v.- 2.2 PLAs und Boolesche Polynome.- 2.3 Mehrstufige Realisierungen und ihre Darstellungen.- 3 Exakte Verfahren zur 2-stufigen Logikminimierung.- 3.1 Wie sehen Minimalpolynome aus?.- 3.2 Charakterisierung der Primimplikanten.- 3.3 Berechnung eines Minimalpolynoms.- 3.4 Minimalpolynome spezieller Funktionen.- 4 Heuristische Verfahren zur 2-stufigen Logikminimierung.- 4.1 Grundlegende Algorithmen auf Polynomen.- 4.2 Strategie in Espresso.- 5 Minimierung binärer Entscheidungsgraphen.- 5.1 Vertauschung benachbarter Variablen.- 5.2 Exaktes Minimierungsverfahren.- 5.3 Heuristische Verfahren.- 5.4 Die Rolle von Symmetrien bei der BDD-Minimierung.- 5.5 Berechnung von Symmetriemengen.- 6 Mehrstufige Logiksynthese mit funktionaler Zerlegung.- 6.1 Einführung in funktionale Zerlegungen.- 6.2 Zerlegungs- und Zusammensetzungsfunktionen.- 6.3 Algorithmus zur Zerlegung einer Funktion mit einem Ausgang.- 6.4 Zerlegung einer Funktion mit mehreren Ausgängen.- 6.5 Zerlegung von unvollständig spezifizierten Booleschen Funktionen.- 7 Weitere Werkzeuge der mehrstufigen Logiksynthese.- 7.1 Optimierung logischer Netzwerke im Überblick.- 7.2 Realisierung der Optimierungsschritte.- 8 Technologie-Anpassung bei mehrstufiger Logiksynthese.- 8.1 Die Grundidee.- 8.2 Permutationsunabhängiger Boolescher Vergleich.- 8.3 Technologie-Anpassung bei look-up table FPGAs.
Details
Erscheinungsjahr: 1999
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: XLeitfäden der Informatik
Inhalt: 300 S.
58 s/w Illustr.
300 S. 58 Abb.
ISBN-13: 9783519029458
ISBN-10: 3519029456
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Scholl, Christoph
Molitor, Paul
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
XLeitfäden der Informatik
Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße: 244 x 170 x 17 mm
Von/Mit: Christoph Scholl (u. a.)
Erscheinungsdatum: 18.01.1999
Gewicht: 0,528 kg
Artikel-ID: 106806033
Inhaltsverzeichnis
1 Verband, Boolesche Algebra, Boolesche Funktionen.- 1.1 Partielle Ordnung, Hasse-Diagramm, Verband.- 1.2 Boolesche Algebren.- 1.3 Die Algebra der Booleschen Funktionen mit n Variablen.- 1.4 Unvollständig spezifizierte Boolesche Funktionen.- 2 Technologien, Modelle und Kostenmaße.- 2.1 Nurlesespeicher und Funktionstafeln v.- 2.2 PLAs und Boolesche Polynome.- 2.3 Mehrstufige Realisierungen und ihre Darstellungen.- 3 Exakte Verfahren zur 2-stufigen Logikminimierung.- 3.1 Wie sehen Minimalpolynome aus?.- 3.2 Charakterisierung der Primimplikanten.- 3.3 Berechnung eines Minimalpolynoms.- 3.4 Minimalpolynome spezieller Funktionen.- 4 Heuristische Verfahren zur 2-stufigen Logikminimierung.- 4.1 Grundlegende Algorithmen auf Polynomen.- 4.2 Strategie in Espresso.- 5 Minimierung binärer Entscheidungsgraphen.- 5.1 Vertauschung benachbarter Variablen.- 5.2 Exaktes Minimierungsverfahren.- 5.3 Heuristische Verfahren.- 5.4 Die Rolle von Symmetrien bei der BDD-Minimierung.- 5.5 Berechnung von Symmetriemengen.- 6 Mehrstufige Logiksynthese mit funktionaler Zerlegung.- 6.1 Einführung in funktionale Zerlegungen.- 6.2 Zerlegungs- und Zusammensetzungsfunktionen.- 6.3 Algorithmus zur Zerlegung einer Funktion mit einem Ausgang.- 6.4 Zerlegung einer Funktion mit mehreren Ausgängen.- 6.5 Zerlegung von unvollständig spezifizierten Booleschen Funktionen.- 7 Weitere Werkzeuge der mehrstufigen Logiksynthese.- 7.1 Optimierung logischer Netzwerke im Überblick.- 7.2 Realisierung der Optimierungsschritte.- 8 Technologie-Anpassung bei mehrstufiger Logiksynthese.- 8.1 Die Grundidee.- 8.2 Permutationsunabhängiger Boolescher Vergleich.- 8.3 Technologie-Anpassung bei look-up table FPGAs.
Details
Erscheinungsjahr: 1999
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: XLeitfäden der Informatik
Inhalt: 300 S.
58 s/w Illustr.
300 S. 58 Abb.
ISBN-13: 9783519029458
ISBN-10: 3519029456
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Scholl, Christoph
Molitor, Paul
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
XLeitfäden der Informatik
Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße: 244 x 170 x 17 mm
Von/Mit: Christoph Scholl (u. a.)
Erscheinungsdatum: 18.01.1999
Gewicht: 0,528 kg
Artikel-ID: 106806033
Sicherheitshinweis