Holdings: Digitale Hardware/Software-Systeme

Digitale Hardware/Software-Systeme: Synthese und Optimierung ; mit 14 Tabellen

Saved in:

Bibliographic Details
Main Authors:	Teich, Jürgen 1964- (Author), Haubelt, Christian 1972- (Author)
Format:	Book
Language:	German
Published:	Berlin [u.a.] Springer 2007
Edition:	2., erw. Aufl.
Series:	eXamen.press
Subjects:	Softwareentwicklung Eingebettetes System Hardwareentwurf Systemsynthese
Online Access:	Inhaltsverzeichnis
Item Description:	Literaturverz. S. 548 - 570 Auch als Internetausgabe
Physical Description:	XV, 594 S. Ill., graph. Darst.
ISBN:	9783540468226

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV022248938
003	DE-604
005	20110919
007	t
008	070131s2007 gw ad\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 9783540468226 \|9 978-3-540-46822-6
035			\|a (OCoLC)180724333
035			\|a (DE-599)BVBBV022248938
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-20 \|a DE-859 \|a DE-92 \|a DE-29T \|a DE-1051 \|a DE-91G \|a DE-Aug4 \|a DE-824 \|a DE-M347 \|a DE-634 \|a DE-91
082	0		\|a 004.21 \|2 22/ger
084			\|a ST 110 \|0 (DE-625)143583: \|2 rvk
084			\|a ST 150 \|0 (DE-625)143594: \|2 rvk
084			\|a ST 153 \|0 (DE-625)143597: \|2 rvk
084			\|a ST 280 \|0 (DE-625)143645: \|2 rvk
084			\|a DAT 190f \|2 stub
100	1		\|a Teich, Jürgen \|d 1964- \|e Verfasser \|0 (DE-588)113591942 \|4 aut
245	1	0	\|a Digitale Hardware/Software-Systeme \|b Synthese und Optimierung ; mit 14 Tabellen \|c Jürgen Teich ; Christian Haubelt
250			\|a 2., erw. Aufl.
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a XV, 594 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a eXamen.press
500			\|a Literaturverz. S. 548 - 570
500			\|a Auch als Internetausgabe
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemsynthese \|0 (DE-588)4198909-0 \|2 gnd \|9 rswk-swf
689	0	0	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	0	1	\|a Hardwareentwurf \|0 (DE-588)4159103-3 \|D s
689	0	2	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	3	\|a Systemsynthese \|0 (DE-588)4198909-0 \|D s
689	0		\|5 DE-604
700	1		\|a Haubelt, Christian \|d 1972- \|e Verfasser \|0 (DE-588)130204013 \|4 aut
856	4	2	\|m OEBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015459751&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015459751

Record in the Search Index

_version_	1814147736556011520
adam_text	INHALTSVERZEICHNIS 1 EINLEITUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I* 1.1 MOTIVATION. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I* 1.2 ENTWURFSMETHODIK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7* 1.2.1 ERFASSEN UND SIMULIEREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7* 1.2.2 BESCHREIBEN UND SYNTHETISIEREN. . . . . . . . . . . . . . . . . . . . . . . . . 8* 1.2.3 SPEZIFIZIEREN, EXPLORIEREN UND VERFEINERN 9* 1.3 ABSTRAKTION UND ENTWURFSREPRAESENTATIONEN. . . . . . . . . . . . . . . . . . . . . . 10* 1.3.1 MODELLE. 10* 1.3.2 SYNTHESE. 12* 1.3.3 OPTIMIERUNG. 26* 1.4 UEBUNGEN. 28* 2 MODELLIERUNG. . . . . . . . . . . . . . . . . . . . . . . 37* 2.1 EINLEITUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37* 2.2 KLASSIFIKATION VON MODELLEN 39* 2.3 PETRI-NETZMODELL. 40* 2.3.1 DYNAMISCHE EIGENSCHAFTEN VON PETRI-NETZEN . . . . . . . . . . . . 43* 2.4 KONTROLLFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45* 2.4.1 ENDLICHE AUTOMATEN (FSMS). . . . . . . . . . . . . . . . . . . . . . . . . . 45* 2.4.2 ERWEITERTE ZUSTANDSMASCHINENMODELLE . . . . . . . . . . . . . . . . . 47* 2.4.3 HIERARCHISCHE, NEBENLAEUFIGE ZUSTANDSMASCHINEN " 49* 2.4.4 STATECHARTS. 49* 2.5 DATENFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54* 2.5.1 DATENFLUSSGRAPHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54* 2.5.2 MARKIERTE GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55* 2.5.3 SYNCHRONE DATENFLUSSGRAPHEN (SDF) . . . . . . . . . . . . . . . . . . . 56* 2.6 ERWEITERTE DATENFLUSSMODELLE 60* 2.6.1 VERKLEMMUNGEN IN SDF-GRAPHEN 60* 2.6.2 REDUKTION DES SDF-MODELLS AUF MARKIERTE GRAPHEN . . . . . . 62* 2.6.3 ZYKLOSTATISCHER DATENFLUSS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63* 2.6.4 DYNAMISCHE DATENFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . 64* X INHALTSVERZEICHNIS 2.7 STRUKTURORIENTIERTE MODELLE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66* 2.7.1 KOMPONENTEN-VERBINDUNGSDIAGRAMM (CCD) . . . . . . . . . . . . 66* 2.8 HETEROGENE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66* 2.8.1 KONTROLL-DATENFLUSSGRAPHEN (CDFGS) . . 68* 2.8.2 MODELIIERUNG IN SYSTEMCODESIGNER 74* 2.9 KOENNEN PROGRAMMIERSPRACHEN MEHR? . . . . . . . . . . . . . . . . . . . . . . . . . 79* 2.10 LITERATURHINWEISE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81* 2.11 UEBUNGEN. 86* 3 SYNTHESE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93* 3.1 FUNDAMENTALE SYNTHESEPROBLEME 93* 3.1.1 ABLAUFPLANUNG 94* 3.1.2 ALLOKATION. 96* 3.1.3 BINDUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97* 3.2 IMPLEMENTIERUNG. 98* 3.3 PROBLEMKLASSEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99* 3.4 UEBUNGEN. 101* 4 ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103* 4.1 KLASSIFIKATION VON ABLAUFPLANUNGSPROBLEMEN . . . . . . . . . . . . . . . . . . 103* 4.1.1 STATISCHE UND DYNAMISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . 103* 4.1.2 PRAEEMPTION. 104* 4.1.3 DATENABHAENGIGKEITEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104* 4.1.4 RESSOURCENBESCHRAENKUNGEN. . . . . . . . . . . . . . . . . . . . . . . . . . . J04* 4.1.5 PERIODISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . 104* 4.2 KLASSIFIKATION VON ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105* 4.3 ABLAUFPLANUNG OHNE RESSOURCENBESCHRAENKUNGEN . . . . . . . . . . . . . . . 106* 4.3.1 DER ASAP-ALGORITHMUS " 106* 4.3.2 DER ALAP-ALGORITHMUS 107* 4.3.3 ABLAUFPLANUNG MIT ZEITBESCHRAENKUNGEN . . . . . . . . . . . . . . . . 108* 4.4 ABLAUFPLANUNG MIT RESSOURCENBESCHRAENKUNGEN 112* 4.4.1 ERWEITERTE ASAP- UND ALAP- VERFAHREN. . . . . . . . . . . . . . . . 113* 4.4.2 LISTSCHEDULING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 13* 4.4.3 FORCE-DIRECTED SCHEDULING . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117* 4.4.4 GANZZAHLIGE LINEARE PROGRAMMIERUNG . . . . . . . . . . . . . . . 121* 4.5 PERIODISCHE ABLAUFPLANUNGSPROBLEME 0 . . . . . . . . . . . . . 124* 4.5.1 ITERATIVE ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125* 4.5.2 ITERATIVE ABLAUFPLANUNG OHNE RESSOURCENBESCHRAENKUNGEN . 132* 4.5.3 VERFAHREN ZUR REDUKTION VON PMIN ... 138* 4.5.4 ITERATIVE ABLAUFPLANUNG MIT RESSOURCENBESCHRAENKUNGEN . 143* 4.5.5 ILP-MODELL ZUR ABLAUFPLANUNG ITERATIVER ALGORITHMEN. . . . 143* 4.5.6 BEISPIEL: FLR-FILTER 145* 4.6 RESSOURCETYPBINDUNG 0 . " 147* 4.7 DYNAMISCHE ABLAUFPLANUNG " 149* 4.7.1 DEFINITIONEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151* XI INHALTSVERZEICHNIS 4.7.2* OPTIMIERUNGSKRITERIEN BEI DYNAMISCHEN* ABLAUFPLANUNGSPROBLEMEN 154* 4.7.3* DYNAMISCHE ABLAUFPLANUNG OHNE ECHTZEITANFORDERUNGEN . . 155* 4.7.4* DYNAMISCHE ABLAUFPLANUNG MIT ECHTZEITANFORDERUNGEN . 160* 4.7.5* PERIODISCHE, DYNAMISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . . 165* 4.8 LITERATURHINWEISE, AUSBLICKE UND WERKZEUGE . . . . . . . . . . . . . . . . . . 170* 4.9 UEBUNGEN* 175* 5 BINDUNG* 181* 5.1 GRAPHENTHEORETISCHE BETRACHTUNG VON BINDUNGSPROBLEMEN . . . . . . 181* 5.2 BINDUNG NACH ABLAUFPLANUNG* 185* 5.3 PERIODISCHE BINDUNGSPROBLEME * 188* 5.4 BINDUNG HIERARCHISCHER GRAPHEN * 192* 5.5 BINDUNG VOR ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192* 5.6 PARTITIONIERUNGSALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193* 5.6.1* KONSTRUKTIVE VERFAHREN ZUR PARTITIONIERUNG " 195* 5.6.2* ITERATIVE VERFAHREN ZUR PARTITIONIERUNG . . . . . . . . . . . . . . . . . . 198* 5.6.3* EVOLUTIONAERE ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . 199* 5.6.4* PARTITIONIERUNG MIT LINEARER PROGRAMMIERUNG. . . . . . . . . . . . 199* 5.6.5* ALGORITHMEN ZUR HW/SW-PARTITIONIERUNG 200* 5.7 ENTWURFSSYSTEME ZUR PARTITIONIERUNG* 202* 5.7.1* FUNKTIONALE PARTITIONIERUNG IM HARDWAREENTWURF 203* 5.7.2* ILP-BASIERTE ANSAETZE FUER MULTI-CHIP-ENTWUERFE 205* 5.7.3* ENTWURFSSYSTEME ZUR HARDWARE/SOFTWARE-PARTITIONIERUNG 206* 5.7.4* ILP-BASIERTE ANSAETZE ZUR HW/SW-PARTITIONIERUNG " 208* 5.8 LITERATURHINWEISE UND ZUSAMMENFASSUNG* 208* 5.9 UEBUNGEN. 210* 6 ARCHITEKTURSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217* 6.1 WAS IST ARCHITEKTURSYNTHESE? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218* 6.1.1* OPERATIONSWERK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219* 6.1.2* STEUERWERK 221* 6.2 SCHAETZUNG DER ENTWURFSQUALITAET . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223* 6.2.1* KOSTENMASSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224* 6.2.2* PERFORMANZMASSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224* 6.2.3* ABSCHAETZUNG DER TAKTPERIODE T 227* 6.2.4* ABSCHAETZUNG DER LATENZ L . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229* 6.2.5* ABSCHAETZUNG DER AUSFUEHRUNGSZEIT . . . . . . . . . . . . 229* 6.2.6* ABSCHAETZUNG DER KOSTEN 229* 6.3 ENERGIE- UND LEISTUNGSVERBRAUCHSMANAGEMENT . . . . . . . . . . . . . . . . . 232* 6.3.1* ENERGIE- UND LEISTUNGSVERBRAUCH . . . . . . . . . . . . . . . . . . . . . . 233* 6.3.2* LEISTUNGSEFFIZIENZ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233* 6.3.3* QUELLEN DES LEISTUNGSVERBRAUCHS . . . . . . . . . . . . . . . . . . . . . . 236* 6.3.4* STRUKTURELLE MASSNAHMEN ZUR LEISTUNGSVERBRAUCHSREDUKTION . 237* XII* INHALTSVERZEICHNIS 6.3.5* MASSNAHMEN AUF VERHALTENSEBENE ZUR REDUKTION DES* LEISTUNGSVERBRAUCHS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240* 6.3.6* SCHAETZUNG DES MITTLEREN LEISTUNGSVERBRAUCHS . . . . . . . . . . . . 243* 6.4 NOTATION UND PROBLEMSTELLUNG DER ARCHITEKTURSYNTHESE . . . . . . . . . . 246* 6.5 SPEZIALOPERATIONEN UND SPEZIALRESSOURCEN . . . . . . . . . . . . . . . . . . . . . 250* 6.5.1* VERKETTUNG FUNKTIONALER OPERATOREN. . . . . . . . . . . . . . . . . . . . 250* 6.5.2* MODULE MIT FLIESSBANDVERARBEITUNG 252* 6.5.3* FUNKTIONALE FLIESSBANDVERARBEITUNG UND SCHLEIFENFALTURIG . . 252* 6.6 VERFAHREN ZUR ARCHITEKTURSYNTHESE* 255* 6.6.1* ERWEITERUNG BEKANNTER ABLAUFPLANUNGSVERFAHREN . . . . . . . . . 255* 6.6.2* ILP-MODELLE ZUR ARCHITEKTURSYNTHESE . . . . . . . . . . . . 255* 6.7 ILP-MODELLE ZUR ARCHITEKTURSYNTHESE* 257* 6.7.1* ZEITSCHLITZMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257* 6.7.2* FLUSSMODELL '" 262* 6.8 DAS FLUSSMODELL* 266* 6.9 ANALYSE DES FLUSSMODELLS * " 271* 6.9.1* POLYEDERTHEORIE 271* 6.9.2* ANALYSE DES LOESUNGSPOLYTOPS DES AUSS-ILP 273* 6. 10 VERBESSERUNG DER MODELLSTRUKTUR . . . . . . . . . . . . . . . . . 280* 6.10.1* ELIMINATION VON FLUSSVARIABLEN . . . . . . . . . . . . . . . . . . . . . . . . 280* 6.10.2 ANPASSUNG DER KONSTANTEN 15(V;, VJ,K)* 283* 6.10.3 ELIMINATION REDUNDANTER UNGLEICHUNGEN* 285* 6.10.4 HINZUFUEGEN GUELTIGER UNGLEICHUNGEN* 286* 6.11 FLIESSBANDVERARBEITUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288* 6.11.1* RESSOURCEN MIT FLIESSBANDVERARBEITUNG . . . . . . . . . . . . . 288* 6.11.2 FUNKTIONALE FLIESSBANDVERARBEITUNG UND SCHLEIFENFALTUNG . . 289* 6.11.3* ASAP- UND ALAP-ZEITEN BEI ITERATIVER ABLAUFPLANUNG . . . . 292* 6.11.4 ABLAUFPLANUNG MIT VOLLSTATISCHER BINDUNG . . . . . . 293* 6.12 RELAXATIONSVERFAHREN . . 296* 6.13 BEISPIELE. 297* 6.13.1* LOESER EINER GEWOEHNLICHEN DIFFERENTIALGLEICHUNG 297* 6.13.2 ELLIPTISCHES WELLENFILTER* 299* 6.14 LITERATURHINWEISE UND WERKZEUGE. . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 I* 6.15 UEBUNGEN. 309* 7 SOFTWARESYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315* 7.1 MERKMALE UND KLASSIFIKATION VON PROZESSOREN* 316* 7.L.1* KLASSIFIKATION VON PROZESSOREN . . . . . . . . . . . . . . . . . . . . . . . . 317* 7.1.2* KRITERIENBASIERTE PROZESSORWAHL . . . . . . . . . . . . . . . . . . . . . . . 319* 7.L.3* ARCHITEKTURPARAMETER VON ASIPS . . . . . . . . . . . . . . . . . . . . . 320* 7.2 EINFUEHRUNG COMPILER* 322* 7.2.1* UMGEBUNGEN 323* 7.2.2* SPRACHKONZEPTE 324* 7.2.3* ANALYSE VON QUELLPROGRAMMEN 324* 7.2.4* PHASEN (ANALYSE, CODEGENERIERUNG, OPTIMIERUNG) 328* INHALTSVERZEICHNIS XLLL 7.3 ZWISCHENDARSTELLUNGEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331* 7.3.1 DREI-ADRESS-CODE . _ 331* 7.3.2 KONTROLLFLUSSGRAPHEN UND DAGS 334* 7.4 CODEGENERIERUNG UND CODEOPTIMIERUNG 338* 7.4.1 EINE EINFACHE ZIELSPRACHE . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340* 7.4.2 ALLOKATION, ABLAUFPLANUNG UND BINDUNG 341* 7.5 REGISTERVERGABE UND REGISTERBINDUNG 346* 7.5.1 LEBENSZEITENANALYSE '" " 346* 7.5.2 REGISTERVERGABE UND -BINDUNG DURCH GRAPHFAERBUNG 348* 7.5.3 GLOBALE REGISTERVERGABE 349* 7.6 OPTIMALE REGISTERBINDUNG MIT ILP-TECHNIKEN 352* 7.6.1 EXISTIERENDE ANSAETZE " 352* 7.6.2 EXAKTE MINIMALE FAERBUNG MIT ILP-MODELL 356* 7.6.3 K-FAERBUNG UND REGISTERABWURF 358* 7.6.4 OPTIMALE K-FAERBUNG MIT ILP-MODELL 359* 7.6.5 MODELIIERUNG VON REGISTER-REGISTER-UMSPEICHERUNGEN 362* 7.6.6 BESTIMMUNG OPTIMALER REGISTERABWURFZEITPUNKTE 365* 7.6.7 MODELIIERUNG HETEROGENER REGISTERSTRUKTUREN 368* 7.6.8 AUSBLICKE 369* 7.7 CODESELEKTION: MUSTERERKENNUNG UND BAUMTRANSFORMATION " 370* 7.8 DYNAMISCHE PROGRAMMIERUNG 375* 7.8.1 PRINZIP DER DYNAMISCHEN PROGRAMMIERUNG 376* 7.8.2 CODEGENERIERUNG MIT DYNAMISCHER PROGRAMMIERUNG 377* 7.9 MASCHINENUNABHAENGIGE OPTIMIERUNG 380* 7.9.1 TRANSFONNATIONENAUFGRUNDBLOECKEN 381* 7.9.2 GLOBALE OPTIMIERUNG 383* 7.10 MASCHINENABHAENGIGE OPTIMIERUNG 384* 7.11 SOFTWARESYNTHESE FUER EINGEBETTETE PROZESSOREN 386* 7.11.1 ANPASSBARKEIT VON COMPILERN. . . . . . . . . . . . . . . . . . . . . . . . . 386* 7.11.2 UNTERSCHIEDE DER CODEGENERIERUNG . . . . . . . . . . . . . . . . . . . . . 387* 7.11.3 RETARGETIERBARE COMPILERFUER RLSC/CISC . . . . . . . . . . . . . . . 388* 7.11.4 RETARGETIERBARE COMPILER FUER DSPS 390* 7.11.5 RETARGETIERBARE COMPILER FUER VLIW-ARTIGE ARCHITEKTUREN 393* 7.11.6 KOMMERZIELLE RETARGETIERBARE COMPILER 400* 7.12 SOFTWARESYNTHESE AUF MODULEBENE . . . . . . . . . . . . . . . . . . . . . . . . . . 401* 7.12.1 BETRIEBSSYSTEME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 I* 7.12.2 ECHTZEITBETRIEBSSYSTEME 403* 7.12.3 CODEGENERIENMG FUER DATENFLUSSDOMINANTE SYSTEME. . . . . . . 404* 7.12.4 EXTERNE EREIGNISSE 412* 7.12.5 RESSOURCENZUGRIFFSPROTOKOLLE UND ABLAUFPLANUNGSANOMALIEN . . . . . . . . . . . . . . . . . . . . 415* 7.13 LITERATURHINWEISE UND ZUSAMMENFASSUNG 418* 7.14 UEBUNGEN 422* XIV INHALTSVERZEICHNIS* 8 SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427* 8.1 MODELL DER SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 430* 8.1.1* SPEZIFIKATION EINES PROBLEMS 431* 8.1.2* SPEZIFIKATION VON ZIELARCHITEKTUREN . . . . . . . . . . . . . . . . . . . . 431* 8.1.3* SPEZIFIKATION VON ABBILDUNGEN. . . . . . . . . . . . . . . . . . . . . . . . 433* 8.1.4* IMPLEMENTIERUNG. 434* 8.2 ENTWURFSRAUMEXPLORATION* 439* 8.2.1* OPTIMIERUNGSSTRATEGIEN UND ZIELFUNKTIONEN 442* 8.2.2* SCHAETZUNG DER ENTWURFSQUALITAET 445* 8.2.3* STRATEGIEN ZUR UEBERDECKUNG UND ZUM BESCHNEIDEN DES* ENTWURFSRAUMS 447* 8.3 ENTWURFSRAUMEXPLORATION MIT EVOLUTIONAEREN ALGORITHMEN. . . . . . . . 450* 8.3.1* OPTIMIERUNG MIT EVOLUTIONAEREN ALGORITHMEN 452* 8.3.2* CODIERUNG VON IMPLEMENTIERUNGEN . . . . . . . . . . . . . . 454* 8.3.3* FITNESSFUNKTIONEN UND BESCHRAENKUNGEN. . . . . . . . . . . . . . . . . 460* 8.3.4* PARAMETER DES EVOLUTIONAEREN ALGORITHMUS. . . . . . . . . . . . . . . 463* 8.3.5* FALLSTUDIE. 463* 8.4 MODELLERWEITERUNGEN* 471* 8.4.1* MEHRSTUFIGER SPEZIFIKATIONSGRAPH 471* 8.4.2* HIERARCHISCHE SPEZIFIKATIONSGRAPHEN 473* 8.5 VERBESSERTE UEBERDECKUNG DES ENTWURFSRAUMS * 479* 8.5.1* SYMBOLISCHE TECHNIKEN IN DER ENTWURFSRAUMEXPLORATION 479* 8.5.2* PARETO-FRONT-ARITHMETIK 485* 8.6 ENTWURFSSYSTEME ZUR SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . 490* 8.7 ZUSAMMENFASSUNG UND LITERATURHINWEISE* 493* 8.8 UEBUNGEN. 498* ANHANG* 501* NOTATION. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 I* A. I LOGIK* 501* A.2 MENGEN. 502* A.3 RELATIONEN UND FUNKTIONEN* 502* A.4 LINEARE ALGEBRA* 503* A.5 GANZZAHLIGE ALGEBRA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503* A.6 GRAPHEN. 503* A.6.1* UNGERICHTETE GRAPHEN 504* A.6.2* GERICHTETE GRAPHEN 506* A.6.3* PERFEKTE GRAPHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507* A.7 POLYEDERTHEORIE* 508* A.8 KOMBINATORISCHE OPTIMIERUNGSPROBLEME . . . . . . . . . . . . . . . . . . . . . . 510* A.8.1* ENTSCHEIDUNGSPROBLEME UND OPTIMIERUNGSPROBLEME . . . . . . 510* A.8.2* ALGORITHMEN. 510* A.8.3* KLASSIFIKATION VON PROBLEMEN. . . . . . . . . . . . . . . . . . . . . . . . . 51 I* INHALTSVERZEICHNIS XV* FUNDAMENTALE OPTIMIERUNGSALGORITHMEN . . . . . . . . . . . . . . . . . . . . . . . . . . . 513* 8.1 LINEARE UND GANZZAHLIGE LINEARE PROGRAMMIERUNG 514* 8.U UMFORMUNGEN LINEARER PROGRAMME. '" " 515* B.1.2 ALGORITHMEN ZUR LOESUNG VON LPS. . . . . . . . . . . . . . . . . . . . . . 515* 8.1.3 ALGORITHMEN ZUR LOESUNG VON LLPS " 516* B.2 SIMULATED ANNEALING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 519* 8.3 EVOLUTIONAERE ALGORITHMEN '" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520* BA MEHRZIELOPTIMIERUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522* BA.I LEISTUNGSBEWERTUNG VON OPTIMIERUNGSALGORITHMEN . . . . . . . 523* BA.2 EVOLUTIONAERE ALGORITHMEN FUER DIE MEHRZIELOPTIMIERUNG . . . 527* GRAPHENALGORITHMEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531* C.I KUERZESTE- UND LAENGSTE-PFAD-PROBLEME 531* C. 1.1 KPP AUF AZYKLISCHEN GRAPHEN: TOPOLOGISCHE SORTIERUNG. . . 532* C.1.2 KPP AUF ZYKLISCHEN GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . 532* C.I.3 LPP 537* C.IA LOESUNG VON LPP (KPP) DURCH LINEARE PROGRAMMIERUNG 537* C.2 GRAPHFAERBUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538* C.2.1 FAERBUNG TRIANGULIERTER GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . 539* C.2.2 PERIODISCHE FAERBUNGSPROBLEME . . . . . . . . . . . . . . . . . . . . . . . . 541* C.3 CLIQUEPARTITIONIERUNG. 544* LITERATUR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547* SACHVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571*
adam_txt	INHALTSVERZEICHNIS 1 EINLEITUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I* 1.1 MOTIVATION. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I* 1.2 ENTWURFSMETHODIK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7* 1.2.1 ERFASSEN UND SIMULIEREN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7* 1.2.2 BESCHREIBEN UND SYNTHETISIEREN. . . . . . . . . . . . . . . . . . . . . . . . . 8* 1.2.3 SPEZIFIZIEREN, EXPLORIEREN UND VERFEINERN 9* 1.3 ABSTRAKTION UND ENTWURFSREPRAESENTATIONEN. . . . . . . . . . . . . . . . . . . . . . 10* 1.3.1 MODELLE. 10* 1.3.2 SYNTHESE. 12* 1.3.3 OPTIMIERUNG. 26* 1.4 UEBUNGEN. 28* 2 MODELLIERUNG. . . . . . . . . . . . . . . . . . . . . . . 37* 2.1 EINLEITUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37* 2.2 KLASSIFIKATION VON MODELLEN 39* 2.3 PETRI-NETZMODELL. 40* 2.3.1 DYNAMISCHE EIGENSCHAFTEN VON PETRI-NETZEN . . . . . . . . . . . . 43* 2.4 KONTROLLFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45* 2.4.1 ENDLICHE AUTOMATEN (FSMS). . . . . . . . . . . . . . . . . . . . . . . . . . 45* 2.4.2 ERWEITERTE ZUSTANDSMASCHINENMODELLE . . . . . . . . . . . . . . . . . 47* 2.4.3 HIERARCHISCHE, NEBENLAEUFIGE ZUSTANDSMASCHINEN " 49* 2.4.4 STATECHARTS. 49* 2.5 DATENFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54* 2.5.1 DATENFLUSSGRAPHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54* 2.5.2 MARKIERTE GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55* 2.5.3 SYNCHRONE DATENFLUSSGRAPHEN (SDF) . . . . . . . . . . . . . . . . . . . 56* 2.6 ERWEITERTE DATENFLUSSMODELLE 60* 2.6.1 VERKLEMMUNGEN IN SDF-GRAPHEN 60* 2.6.2 REDUKTION DES SDF-MODELLS AUF MARKIERTE GRAPHEN . . . . . . 62* 2.6.3 ZYKLOSTATISCHER DATENFLUSS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63* 2.6.4 DYNAMISCHE DATENFLUSSMODELLE . . . . . . . . . . . . . . . . . . . . . . . 64* X INHALTSVERZEICHNIS 2.7 STRUKTURORIENTIERTE MODELLE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66* 2.7.1 KOMPONENTEN-VERBINDUNGSDIAGRAMM (CCD) . . . . . . . . . . . . 66* 2.8 HETEROGENE MODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66* 2.8.1 KONTROLL-DATENFLUSSGRAPHEN (CDFGS) . . 68* 2.8.2 MODELIIERUNG IN SYSTEMCODESIGNER 74* 2.9 KOENNEN PROGRAMMIERSPRACHEN MEHR? . . . . . . . . . . . . . . . . . . . . . . . . . 79* 2.10 LITERATURHINWEISE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81* 2.11 UEBUNGEN. 86* 3 SYNTHESE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93* 3.1 FUNDAMENTALE SYNTHESEPROBLEME 93* 3.1.1 ABLAUFPLANUNG 94* 3.1.2 ALLOKATION. 96* 3.1.3 BINDUNG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97* 3.2 IMPLEMENTIERUNG. 98* 3.3 PROBLEMKLASSEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99* 3.4 UEBUNGEN. 101* 4 ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103* 4.1 KLASSIFIKATION VON ABLAUFPLANUNGSPROBLEMEN . . . . . . . . . . . . . . . . . . 103* 4.1.1 STATISCHE UND DYNAMISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . 103* 4.1.2 PRAEEMPTION. 104* 4.1.3 DATENABHAENGIGKEITEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104* 4.1.4 RESSOURCENBESCHRAENKUNGEN. . . . . . . . . . . . . . . . . . . . . . . . . . . J04* 4.1.5 PERIODISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . 104* 4.2 KLASSIFIKATION VON ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105* 4.3 ABLAUFPLANUNG OHNE RESSOURCENBESCHRAENKUNGEN . . . . . . . . . . . . . . . 106* 4.3.1 DER ASAP-ALGORITHMUS " 106* 4.3.2 DER ALAP-ALGORITHMUS 107* 4.3.3 ABLAUFPLANUNG MIT ZEITBESCHRAENKUNGEN . . . . . . . . . . . . . . . . 108* 4.4 ABLAUFPLANUNG MIT RESSOURCENBESCHRAENKUNGEN 112* 4.4.1 ERWEITERTE ASAP- UND ALAP- VERFAHREN. . . . . . . . . . . . . . . . 113* 4.4.2 LISTSCHEDULING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I 13* 4.4.3 FORCE-DIRECTED SCHEDULING . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117* 4.4.4 GANZZAHLIGE LINEARE PROGRAMMIERUNG . . . . . . . . . . . . . . . 121* 4.5 PERIODISCHE ABLAUFPLANUNGSPROBLEME 0 . . . . . . . . . . . . . 124* 4.5.1 ITERATIVE ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125* 4.5.2 ITERATIVE ABLAUFPLANUNG OHNE RESSOURCENBESCHRAENKUNGEN . 132* 4.5.3 VERFAHREN ZUR REDUKTION VON PMIN ... 138* 4.5.4 ITERATIVE ABLAUFPLANUNG MIT RESSOURCENBESCHRAENKUNGEN . 143* 4.5.5 ILP-MODELL ZUR ABLAUFPLANUNG ITERATIVER ALGORITHMEN. . . . 143* 4.5.6 BEISPIEL: FLR-FILTER 145* 4.6 RESSOURCETYPBINDUNG 0 . " 147* 4.7 DYNAMISCHE ABLAUFPLANUNG " 149* 4.7.1 DEFINITIONEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151* XI INHALTSVERZEICHNIS 4.7.2* OPTIMIERUNGSKRITERIEN BEI DYNAMISCHEN* ABLAUFPLANUNGSPROBLEMEN 154* 4.7.3* DYNAMISCHE ABLAUFPLANUNG OHNE ECHTZEITANFORDERUNGEN . . 155* 4.7.4* DYNAMISCHE ABLAUFPLANUNG MIT ECHTZEITANFORDERUNGEN . 160* 4.7.5* PERIODISCHE, DYNAMISCHE ABLAUFPLANUNG . . . . . . . . . . . . . . . . 165* 4.8 LITERATURHINWEISE, AUSBLICKE UND WERKZEUGE . . . . . . . . . . . . . . . . . . 170* 4.9 UEBUNGEN* 175* 5 BINDUNG* 181* 5.1 GRAPHENTHEORETISCHE BETRACHTUNG VON BINDUNGSPROBLEMEN . . . . . . 181* 5.2 BINDUNG NACH ABLAUFPLANUNG* 185* 5.3 PERIODISCHE BINDUNGSPROBLEME * 188* 5.4 BINDUNG HIERARCHISCHER GRAPHEN * 192* 5.5 BINDUNG VOR ABLAUFPLANUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192* 5.6 PARTITIONIERUNGSALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193* 5.6.1* KONSTRUKTIVE VERFAHREN ZUR PARTITIONIERUNG " 195* 5.6.2* ITERATIVE VERFAHREN ZUR PARTITIONIERUNG . . . . . . . . . . . . . . . . . . 198* 5.6.3* EVOLUTIONAERE ALGORITHMEN. . . . . . . . . . . . . . . . . . . . . . . . . . . . 199* 5.6.4* PARTITIONIERUNG MIT LINEARER PROGRAMMIERUNG. . . . . . . . . . . . 199* 5.6.5* ALGORITHMEN ZUR HW/SW-PARTITIONIERUNG 200* 5.7 ENTWURFSSYSTEME ZUR PARTITIONIERUNG* 202* 5.7.1* FUNKTIONALE PARTITIONIERUNG IM HARDWAREENTWURF 203* 5.7.2* ILP-BASIERTE ANSAETZE FUER MULTI-CHIP-ENTWUERFE 205* 5.7.3* ENTWURFSSYSTEME ZUR HARDWARE/SOFTWARE-PARTITIONIERUNG 206* 5.7.4* ILP-BASIERTE ANSAETZE ZUR HW/SW-PARTITIONIERUNG " 208* 5.8 LITERATURHINWEISE UND ZUSAMMENFASSUNG* 208* 5.9 UEBUNGEN. 210* 6 ARCHITEKTURSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217* 6.1 WAS IST ARCHITEKTURSYNTHESE? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218* 6.1.1* OPERATIONSWERK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219* 6.1.2* STEUERWERK 221* 6.2 SCHAETZUNG DER ENTWURFSQUALITAET . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223* 6.2.1* KOSTENMASSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224* 6.2.2* PERFORMANZMASSE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224* 6.2.3* ABSCHAETZUNG DER TAKTPERIODE T 227* 6.2.4* ABSCHAETZUNG DER LATENZ L . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229* 6.2.5* ABSCHAETZUNG DER AUSFUEHRUNGSZEIT . . . . . . . . . . . . 229* 6.2.6* ABSCHAETZUNG DER KOSTEN 229* 6.3 ENERGIE- UND LEISTUNGSVERBRAUCHSMANAGEMENT . . . . . . . . . . . . . . . . . 232* 6.3.1* ENERGIE- UND LEISTUNGSVERBRAUCH . . . . . . . . . . . . . . . . . . . . . . 233* 6.3.2* LEISTUNGSEFFIZIENZ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233* 6.3.3* QUELLEN DES LEISTUNGSVERBRAUCHS . . . . . . . . . . . . . . . . . . . . . . 236* 6.3.4* STRUKTURELLE MASSNAHMEN ZUR LEISTUNGSVERBRAUCHSREDUKTION . 237* XII* INHALTSVERZEICHNIS 6.3.5* MASSNAHMEN AUF VERHALTENSEBENE ZUR REDUKTION DES* LEISTUNGSVERBRAUCHS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240* 6.3.6* SCHAETZUNG DES MITTLEREN LEISTUNGSVERBRAUCHS . . . . . . . . . . . . 243* 6.4 NOTATION UND PROBLEMSTELLUNG DER ARCHITEKTURSYNTHESE . . . . . . . . . . 246* 6.5 SPEZIALOPERATIONEN UND SPEZIALRESSOURCEN . . . . . . . . . . . . . . . . . . . . . 250* 6.5.1* VERKETTUNG FUNKTIONALER OPERATOREN. . . . . . . . . . . . . . . . . . . . 250* 6.5.2* MODULE MIT FLIESSBANDVERARBEITUNG 252* 6.5.3* FUNKTIONALE FLIESSBANDVERARBEITUNG UND SCHLEIFENFALTURIG . . 252* 6.6 VERFAHREN ZUR ARCHITEKTURSYNTHESE* 255* 6.6.1* ERWEITERUNG BEKANNTER ABLAUFPLANUNGSVERFAHREN . . . . . . . . . 255* 6.6.2* ILP-MODELLE ZUR ARCHITEKTURSYNTHESE . . . . . . . . . . . . 255* 6.7 ILP-MODELLE ZUR ARCHITEKTURSYNTHESE* 257* 6.7.1* ZEITSCHLITZMODELLE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 257* 6.7.2* FLUSSMODELL '" 262* 6.8 DAS FLUSSMODELL* 266* 6.9 ANALYSE DES FLUSSMODELLS * " 271* 6.9.1* POLYEDERTHEORIE 271* 6.9.2* ANALYSE DES LOESUNGSPOLYTOPS DES AUSS-ILP 273* 6. 10 VERBESSERUNG DER MODELLSTRUKTUR . . . . . . . . . . . . . . . . . 280* 6.10.1* ELIMINATION VON FLUSSVARIABLEN . . . . . . . . . . . . . . . . . . . . . . . . 280* 6.10.2 ANPASSUNG DER KONSTANTEN 15(V;, VJ,K)* 283* 6.10.3 ELIMINATION REDUNDANTER UNGLEICHUNGEN* 285* 6.10.4 HINZUFUEGEN GUELTIGER UNGLEICHUNGEN* 286* 6.11 FLIESSBANDVERARBEITUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288* 6.11.1* RESSOURCEN MIT FLIESSBANDVERARBEITUNG . . . . . . . . . . . . . 288* 6.11.2 FUNKTIONALE FLIESSBANDVERARBEITUNG UND SCHLEIFENFALTUNG . . 289* 6.11.3* ASAP- UND ALAP-ZEITEN BEI ITERATIVER ABLAUFPLANUNG . . . . 292* 6.11.4 ABLAUFPLANUNG MIT VOLLSTATISCHER BINDUNG . . . . . . 293* 6.12 RELAXATIONSVERFAHREN . . 296* 6.13 BEISPIELE. 297* 6.13.1* LOESER EINER GEWOEHNLICHEN DIFFERENTIALGLEICHUNG 297* 6.13.2 ELLIPTISCHES WELLENFILTER* 299* 6.14 LITERATURHINWEISE UND WERKZEUGE. . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 I* 6.15 UEBUNGEN. 309* 7 SOFTWARESYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315* 7.1 MERKMALE UND KLASSIFIKATION VON PROZESSOREN* 316* 7.L.1* KLASSIFIKATION VON PROZESSOREN . . . . . . . . . . . . . . . . . . . . . . . . 317* 7.1.2* KRITERIENBASIERTE PROZESSORWAHL . . . . . . . . . . . . . . . . . . . . . . . 319* 7.L.3* ARCHITEKTURPARAMETER VON ASIPS . . . . . . . . . . . . . . . . . . . . . 320* 7.2 EINFUEHRUNG COMPILER* 322* 7.2.1* UMGEBUNGEN 323* 7.2.2* SPRACHKONZEPTE 324* 7.2.3* ANALYSE VON QUELLPROGRAMMEN 324* 7.2.4* PHASEN (ANALYSE, CODEGENERIERUNG, OPTIMIERUNG) 328* INHALTSVERZEICHNIS XLLL 7.3 ZWISCHENDARSTELLUNGEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331* 7.3.1 DREI-ADRESS-CODE . _ 331* 7.3.2 KONTROLLFLUSSGRAPHEN UND DAGS 334* 7.4 CODEGENERIERUNG UND CODEOPTIMIERUNG 338* 7.4.1 EINE EINFACHE ZIELSPRACHE . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340* 7.4.2 ALLOKATION, ABLAUFPLANUNG UND BINDUNG 341* 7.5 REGISTERVERGABE UND REGISTERBINDUNG 346* 7.5.1 LEBENSZEITENANALYSE '" " 346* 7.5.2 REGISTERVERGABE UND -BINDUNG DURCH GRAPHFAERBUNG 348* 7.5.3 GLOBALE REGISTERVERGABE 349* 7.6 OPTIMALE REGISTERBINDUNG MIT ILP-TECHNIKEN 352* 7.6.1 EXISTIERENDE ANSAETZE " 352* 7.6.2 EXAKTE MINIMALE FAERBUNG MIT ILP-MODELL 356* 7.6.3 K-FAERBUNG UND REGISTERABWURF 358* 7.6.4 OPTIMALE K-FAERBUNG MIT ILP-MODELL 359* 7.6.5 MODELIIERUNG VON REGISTER-REGISTER-UMSPEICHERUNGEN 362* 7.6.6 BESTIMMUNG OPTIMALER REGISTERABWURFZEITPUNKTE 365* 7.6.7 MODELIIERUNG HETEROGENER REGISTERSTRUKTUREN 368* 7.6.8 AUSBLICKE 369* 7.7 CODESELEKTION: MUSTERERKENNUNG UND BAUMTRANSFORMATION " 370* 7.8 DYNAMISCHE PROGRAMMIERUNG 375* 7.8.1 PRINZIP DER DYNAMISCHEN PROGRAMMIERUNG 376* 7.8.2 CODEGENERIERUNG MIT DYNAMISCHER PROGRAMMIERUNG 377* 7.9 MASCHINENUNABHAENGIGE OPTIMIERUNG 380* 7.9.1 TRANSFONNATIONENAUFGRUNDBLOECKEN 381* 7.9.2 GLOBALE OPTIMIERUNG 383* 7.10 MASCHINENABHAENGIGE OPTIMIERUNG 384* 7.11 SOFTWARESYNTHESE FUER EINGEBETTETE PROZESSOREN 386* 7.11.1 ANPASSBARKEIT VON COMPILERN. . . . . . . . . . . . . . . . . . . . . . . . . 386* 7.11.2 UNTERSCHIEDE DER CODEGENERIERUNG . . . . . . . . . . . . . . . . . . . . . 387* 7.11.3 RETARGETIERBARE COMPILERFUER RLSC/CISC . . . . . . . . . . . . . . . 388* 7.11.4 RETARGETIERBARE COMPILER FUER DSPS 390* 7.11.5 RETARGETIERBARE COMPILER FUER VLIW-ARTIGE ARCHITEKTUREN 393* 7.11.6 KOMMERZIELLE RETARGETIERBARE COMPILER 400* 7.12 SOFTWARESYNTHESE AUF MODULEBENE . . . . . . . . . . . . . . . . . . . . . . . . . . 401* 7.12.1 BETRIEBSSYSTEME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 I* 7.12.2 ECHTZEITBETRIEBSSYSTEME 403* 7.12.3 CODEGENERIENMG FUER DATENFLUSSDOMINANTE SYSTEME. . . . . . . 404* 7.12.4 EXTERNE EREIGNISSE 412* 7.12.5 RESSOURCENZUGRIFFSPROTOKOLLE UND ABLAUFPLANUNGSANOMALIEN . . . . . . . . . . . . . . . . . . . . 415* 7.13 LITERATURHINWEISE UND ZUSAMMENFASSUNG 418* 7.14 UEBUNGEN 422* XIV INHALTSVERZEICHNIS* 8 SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427* 8.1 MODELL DER SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 430* 8.1.1* SPEZIFIKATION EINES PROBLEMS 431* 8.1.2* SPEZIFIKATION VON ZIELARCHITEKTUREN . . . . . . . . . . . . . . . . . . . . 431* 8.1.3* SPEZIFIKATION VON ABBILDUNGEN. . . . . . . . . . . . . . . . . . . . . . . . 433* 8.1.4* IMPLEMENTIERUNG. 434* 8.2 ENTWURFSRAUMEXPLORATION* 439* 8.2.1* OPTIMIERUNGSSTRATEGIEN UND ZIELFUNKTIONEN 442* 8.2.2* SCHAETZUNG DER ENTWURFSQUALITAET 445* 8.2.3* STRATEGIEN ZUR UEBERDECKUNG UND ZUM BESCHNEIDEN DES* ENTWURFSRAUMS 447* 8.3 ENTWURFSRAUMEXPLORATION MIT EVOLUTIONAEREN ALGORITHMEN. . . . . . . . 450* 8.3.1* OPTIMIERUNG MIT EVOLUTIONAEREN ALGORITHMEN 452* 8.3.2* CODIERUNG VON IMPLEMENTIERUNGEN . . . . . . . . . . . . . . 454* 8.3.3* FITNESSFUNKTIONEN UND BESCHRAENKUNGEN. . . . . . . . . . . . . . . . . 460* 8.3.4* PARAMETER DES EVOLUTIONAEREN ALGORITHMUS. . . . . . . . . . . . . . . 463* 8.3.5* FALLSTUDIE. 463* 8.4 MODELLERWEITERUNGEN* 471* 8.4.1* MEHRSTUFIGER SPEZIFIKATIONSGRAPH 471* 8.4.2* HIERARCHISCHE SPEZIFIKATIONSGRAPHEN 473* 8.5 VERBESSERTE UEBERDECKUNG DES ENTWURFSRAUMS * 479* 8.5.1* SYMBOLISCHE TECHNIKEN IN DER ENTWURFSRAUMEXPLORATION 479* 8.5.2* PARETO-FRONT-ARITHMETIK 485* 8.6 ENTWURFSSYSTEME ZUR SYSTEMSYNTHESE . . . . . . . . . . . . . . . . . . . . . . . . . 490* 8.7 ZUSAMMENFASSUNG UND LITERATURHINWEISE* 493* 8.8 UEBUNGEN. 498* ANHANG* 501* NOTATION. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 I* A. I LOGIK* 501* A.2 MENGEN. 502* A.3 RELATIONEN UND FUNKTIONEN* 502* A.4 LINEARE ALGEBRA* 503* A.5 GANZZAHLIGE ALGEBRA. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 503* A.6 GRAPHEN. 503* A.6.1* UNGERICHTETE GRAPHEN 504* A.6.2* GERICHTETE GRAPHEN 506* A.6.3* PERFEKTE GRAPHEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 507* A.7 POLYEDERTHEORIE* 508* A.8 KOMBINATORISCHE OPTIMIERUNGSPROBLEME . . . . . . . . . . . . . . . . . . . . . . 510* A.8.1* ENTSCHEIDUNGSPROBLEME UND OPTIMIERUNGSPROBLEME . . . . . . 510* A.8.2* ALGORITHMEN. 510* A.8.3* KLASSIFIKATION VON PROBLEMEN. . . . . . . . . . . . . . . . . . . . . . . . . 51 I* INHALTSVERZEICHNIS XV* FUNDAMENTALE OPTIMIERUNGSALGORITHMEN . . . . . . . . . . . . . . . . . . . . . . . . . . . 513* 8.1 LINEARE UND GANZZAHLIGE LINEARE PROGRAMMIERUNG 514* 8.U UMFORMUNGEN LINEARER PROGRAMME. '" " 515* B.1.2 ALGORITHMEN ZUR LOESUNG VON LPS. . . . . . . . . . . . . . . . . . . . . . 515* 8.1.3 ALGORITHMEN ZUR LOESUNG VON LLPS " 516* B.2 SIMULATED ANNEALING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 519* 8.3 EVOLUTIONAERE ALGORITHMEN '" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520* BA MEHRZIELOPTIMIERUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522* BA.I LEISTUNGSBEWERTUNG VON OPTIMIERUNGSALGORITHMEN . . . . . . . 523* BA.2 EVOLUTIONAERE ALGORITHMEN FUER DIE MEHRZIELOPTIMIERUNG . . . 527* GRAPHENALGORITHMEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531* C.I KUERZESTE- UND LAENGSTE-PFAD-PROBLEME 531* C. 1.1 KPP AUF AZYKLISCHEN GRAPHEN: TOPOLOGISCHE SORTIERUNG. . . 532* C.1.2 KPP AUF ZYKLISCHEN GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . . . 532* C.I.3 LPP 537* C.IA LOESUNG VON LPP (KPP) DURCH LINEARE PROGRAMMIERUNG 537* C.2 GRAPHFAERBUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 538* C.2.1 FAERBUNG TRIANGULIERTER GRAPHEN. . . . . . . . . . . . . . . . . . . . . . . . 539* C.2.2 PERIODISCHE FAERBUNGSPROBLEME . . . . . . . . . . . . . . . . . . . . . . . . 541* C.3 CLIQUEPARTITIONIERUNG. 544* LITERATUR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547* SACHVERZEICHNIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571*
any_adam_object	1
any_adam_object_boolean	1
author	Teich, Jürgen 1964- Haubelt, Christian 1972-
author_GND	(DE-588)113591942 (DE-588)130204013
author_facet	Teich, Jürgen 1964- Haubelt, Christian 1972-
author_role	aut aut
author_sort	Teich, Jürgen 1964-
author_variant	j t jt c h ch
building	Verbundindex
bvnumber	BV022248938
classification_rvk	ST 110 ST 150 ST 153 ST 280
classification_tum	DAT 190f
ctrlnum	(OCoLC)180724333 (DE-599)BVBBV022248938
dewey-full	004.21
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.21
dewey-search	004.21
dewey-sort	14.21
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
edition	2., erw. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV022248938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110919</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070131s2007 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540468226</subfield><subfield code="9">978-3-540-46822-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180724333</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022248938</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 280</subfield><subfield code="0">(DE-625)143645:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Teich, Jürgen</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113591942</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Digitale Hardware/Software-Systeme</subfield><subfield code="b">Synthese und Optimierung ; mit 14 Tabellen</subfield><subfield code="c">Jürgen Teich ; Christian Haubelt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 594 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">eXamen.press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 548 - 570</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auch als Internetausgabe</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haubelt, Christian</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130204013</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">OEBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015459751&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015459751</subfield></datafield></record></collection>
id	DE-604.BV022248938
illustrated	Illustrated
index_date	2024-07-02T16:38:50Z
indexdate	2024-10-28T09:01:42Z
institution	BVB
isbn	9783540468226
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015459751
oclc_num	180724333
open_access_boolean
owner	DE-20 DE-859 DE-92 DE-29T DE-1051 DE-91G DE-BY-TUM DE-Aug4 DE-824 DE-M347 DE-634 DE-91 DE-BY-TUM
owner_facet	DE-20 DE-859 DE-92 DE-29T DE-1051 DE-91G DE-BY-TUM DE-Aug4 DE-824 DE-M347 DE-634 DE-91 DE-BY-TUM
physical	XV, 594 S. Ill., graph. Darst.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series2	eXamen.press
spelling	Teich, Jürgen 1964- Verfasser (DE-588)113591942 aut Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen Jürgen Teich ; Christian Haubelt 2., erw. Aufl. Berlin [u.a.] Springer 2007 XV, 594 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier eXamen.press Literaturverz. S. 548 - 570 Auch als Internetausgabe Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 s Hardwareentwurf (DE-588)4159103-3 s Softwareentwicklung (DE-588)4116522-6 s Systemsynthese (DE-588)4198909-0 s DE-604 Haubelt, Christian 1972- Verfasser (DE-588)130204013 aut OEBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015459751&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Teich, Jürgen 1964- Haubelt, Christian 1972- Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd Hardwareentwurf (DE-588)4159103-3 gnd Systemsynthese (DE-588)4198909-0 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4396978-1 (DE-588)4159103-3 (DE-588)4198909-0
title	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen
title_auth	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen
title_exact_search	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen
title_exact_search_txtP	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen
title_full	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen Jürgen Teich ; Christian Haubelt
title_fullStr	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen Jürgen Teich ; Christian Haubelt
title_full_unstemmed	Digitale Hardware/Software-Systeme Synthese und Optimierung ; mit 14 Tabellen Jürgen Teich ; Christian Haubelt
title_short	Digitale Hardware/Software-Systeme
title_sort	digitale hardware software systeme synthese und optimierung mit 14 tabellen
title_sub	Synthese und Optimierung ; mit 14 Tabellen
topic	Softwareentwicklung (DE-588)4116522-6 gnd Eingebettetes System (DE-588)4396978-1 gnd Hardwareentwurf (DE-588)4159103-3 gnd Systemsynthese (DE-588)4198909-0 gnd
topic_facet	Softwareentwicklung Eingebettetes System Hardwareentwurf Systemsynthese
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015459751&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT teichjurgen digitalehardwaresoftwaresystemesyntheseundoptimierungmit14tabellen AT haubeltchristian digitalehardwaresoftwaresystemesyntheseundoptimierungmit14tabellen

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items