Digitale Hardware/Software-Systeme: Synthese und Optimierung ; mit 14 Tabellen
Gespeichert in:
Hauptverfasser: | , |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
Ausgabe: | 2., erw. Aufl. |
Schriftenreihe: | eXamen.press
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Literaturverz. S. 548 - 570 Auch als Internetausgabe |
Beschreibung: | XV, 594 S. Ill., graph. Darst. |
ISBN: | 9783540468226 |
Internformat
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 |
Datensatz im Suchindex
_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 |