Logo - springer
Slogan - springer

Computer Science - Communication Networks | Digitale Hardware/Software-Systeme - Synthese und Optimierung

Digitale Hardware/Software-Systeme

Synthese und Optimierung

Teich, Jürgen

1997, XVII, 515 S.

eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

(net) Preis für USA

ISBN 978-3-662-06740-6

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

$49.99
  • Über dieses Lehrbuch

Diese erste systematische Einführung in den Entwurf komplexer digitaler Systeme vermittelt den aktuellen Stand der Technik. Vorgestellt werden die modernen Verfahren für Entwurf und Optimierung von Hardware/Software-Systemen, die aus kooperativen Hardware- und Softwarekomponenten bestehen. Anwendungsbereiche sind z.B. Industriesteuerungen, Automobil- und Unterhaltungselektronik sowie Kommunikationssysteme.
Zentrale Aspekte bei den Verfahren zur Entwurfsautomatisierung sind insbesondere Spezifikation, Synthese und Optimierung von Hardware- und Softwarekomponenten sowie Generierung von Zielcode (VHDL, Maschinencode). Die Syntheseaufgaben werden in einer einheitlichen Notation für Hardware und Software behandelt.
Das Thema wird überwiegend in Grundlagen- und Übersichtskapiteln mit zahlreichen Beispielen und Abbildungen anschaulich und leicht verständlich dargestellt. Spezialwissen wird in vertiefenden Kapiteln behandelt, die eigens gekennzeichnet sind und vom Anfänger ohne Verlust des roten Fadens übersprungen werden können.
Das Buch ist unentbehrlich für Studierende der Technischen Informatik, Elektrotechnik und Automatisierungstechnik und zugleich ein wertvolles Übersichts-, Referenz- und Nachschlagewerk für Forscher in diesen Gebieten und für Entwicklungsingenieure und Programmierer eingebetteter Systeme in der Industrie.

Content Level » Lower undergraduate

Stichwörter » Eingebettete Systeme - Entwurfsautomatisierung (CAD, CAE) - Hardware/Software-Codesign - Kommunikation - Logik - Optimierung komplexer (digitaler) Systeme - Programmierung - Steuerung - Systementwurf - VHDL

Verwandte Fachbereiche » Complexity - Hardware - Rechnernetze - Software Engineering

Inhaltsverzeichnis 

1. Einleitung.- 2. Spezifikation und Modellierung.- 3. Synthese.- 4. Ablaufplanung.- 5. Bindung.- 6. Architektursynthese.- 7. Softwaresynthese.- 8. Systemsynthese.- A. Notation.- A.1 Logik.- A.2 Mengen.- A.3 Relationen und Funktionen.- A.4 Lineare Algebra.- A.5 Ganzzahlige Algebra.- A.6 Graphen.- A.6.1 Ungerichtete Graphen.- A.6.2 Gerichtete Graphen.- A.6.3 Perfekte Graphen.- A.7 Polyedertheorie.- A.8 Kombinatorische Optimierungsprobleme.- A.8.1 Entscheidungsprobleme und Optimierungsprobleme.- A.8.2 Algorithmen.- A.8.3 Klassifikation von Problemen.- B. Fundamentale Optimierungsalgorithmen.- B.1 Lineare und ganzzahlige lineare Programmierung.- B.1.1 Umformungen linearer Programme.- B.1.2 Algorithmen zur Lösung von LPs.- B.1.3 Algorithmen zur Lösung von ILPs.- B.2 Simulated annealing.- B.3 Evolutionäre Algorithmen.- C. Graphenalgorithmen.- C.1 Kiirzeste- und Längste-Pfad-Probleme.- C.1.1 KPP auf azyklischen Graphen: Topologische Sortierung.- C.1.2 KPP auf zyklischen Graphen.- C.1.3 LPP.- C.1.4 Lösung von LPP (KPP) durch lineare Programmierung.- C.2 Graphfärbung.- C.2.1 Färbung triangulierter Graphen.- C.2.2 Periodische Färbungsprobleme.- C.3 Cliquepartitionierung.

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Implementierung von Rechnersystemen.