Ebook: Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

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 decision 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 electronic mail bei molitor@informatik

---

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 decision 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 electronic mail bei molitor@informatik

---

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 decision 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 electronic mail bei molitor@informatik
Content:
Front Matter....Pages 1-11
Einleitung....Pages 13-16
Verband, Boolesche Algebra, Boolesche Funktionen....Pages 17-42
Technologien, Modelle und Kostenma?e....Pages 43-75
Exakte Verfahren zur 2-stufigen Logikminimierung....Pages 76-146
Heuristische Verfahren zur 2-stufigen Logikminimierung....Pages 147-176
Minimierung bin?rer Entscheidungsgraphen....Pages 177-210
Mehrstufige Logiksynthese mit funktionaler Zerlegung....Pages 211-239
Weitere Werkzeuge der mehrstufigen Logiksynthese....Pages 240-263
Technologie-Anpassung bei mehrstufiger Logiksynthese....Pages 264-282
Back Matter....Pages 283-300

---

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 decision 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 electronic mail bei molitor@informatik
Content:
Front Matter....Pages 1-11
Einleitung....Pages 13-16
Verband, Boolesche Algebra, Boolesche Funktionen....Pages 17-42
Technologien, Modelle und Kostenma?e....Pages 43-75
Exakte Verfahren zur 2-stufigen Logikminimierung....Pages 76-146
Heuristische Verfahren zur 2-stufigen Logikminimierung....Pages 147-176
Minimierung bin?rer Entscheidungsgraphen....Pages 177-210
Mehrstufige Logiksynthese mit funktionaler Zerlegung....Pages 211-239
Weitere Werkzeuge der mehrstufigen Logiksynthese....Pages 240-263
Technologie-Anpassung bei mehrstufiger Logiksynthese....Pages 264-282
Back Matter....Pages 283-300
....