1. Einleitung. - 1. 1. Die Anwendungsdomäne. - 1. 2. Wissensquellen. - 1. 3. Organisation der Bucht. -Referenzen. - 2. Anwendungsbereich: Routing-Algorithmen. - 2. 1. Routing-Algorithmen. - 2. 2. Anwendungsbereich: Labyrinth-Router. - 2. 3. Labyrinth-Router-Sorten. - 2. 4. Warum sollten Sie sich für Maze-Router entscheiden? - 2. 5. Zusammenfassung des Kapitels. -Referenzen. - 3. Wiederverwendbarkeit von Software. - 3. 1. Zusammensetzungsbasierte Systeme. - 3. 2. Generationenbasierte Systeme. - 3. 3. Zusammenfassung des Kapitels. -Referenzen. - 4. ELF: Eine Programmsynthese-Architektur. - 4. 1. Kombination von Router-Wissen mit Programmsynthese-Wissen. - 4. 2. Darstellung des Algorithmus-Schemas. - 4. 3. Darstellung des Datenstrukturstils. - 4. 4. Zwischendarstellung für synthetisierten Code. - 4. 5. Repräsentation von Domänenwissen mit Hilfe eines regelbasierten Systems. - 4. 6. Überblick über die Architektur. - 4. 7. Überblick über die Architektur. - 4. 8. Zusammenfassung des Kapitels. -Referenzen. - 5. Die Eingabephase. - 5. 1. Betrieb der Eingangsstufe. - 5. 2. Geben Sie Phasenregeltypen ein. - 5. 3. Zusammenfassung des Kapitels. -Referenzen. - 6. Die Auswahlphase. - 6. 1. Steuerelement für die Auswahl. - 6. 2. Das Modul zur Abhängigkeitsanalyse. - 6. 3. Das Datenstruktur-Designer-Modul. - 6. 4. Das Algorithmus-Designer-Modul. - 6. 5. Zusammenfassung des Kapitels. -Referenzen. - 7. Die Codegeneratorphase. - 7. 1. Synthese der I/O-Operation. - 7. 2. Die Nutzung von Router-Domänenwissen im Transformationsprozess. - 7. 3. Schrittweise Verfeinerung im Transformationsprozess. - 7. 4. Zusammenfassung des Kapitels. -Referenzen. - 8. Implementierung. - 8. 1. Merkmale der Implementierung. - 8. 2. Design-Geschichte. - 8. 3. ELF modifizieren: Ist es wirklich besser?. - 8. 4. Probleme beim Debuggen von ELF-synthetisiertem Code. - 8. 5. Zusammenfassung des Kapitels. -Referenzen. - 9. ELF-Validierung. - 9. 1. Experimentelle Methodik. - 9. 2. Router im Gate-Array-Stil. - 9. 3. Router im Leiterplattenstil. - 9. 4. Router im Makrozellen-IC-Stil. - 9. 5. Zusammenfassung des Kapitels. -Referenzen. - 10. Schlussfolgerung. - 10. 1. Zusammenfassung. - 10. 2. ELF: Rückblick und Entwicklung. -Referenzen. - Anhang I. Handbuch zur Router-Spezifikation. - I. 1. Beschreibung der Syntax. - I. 2. Struktur der Einschränkungsebene. - I. 2. 1. Spezifikationen für Einschränkungen auf oberster Ebene. - I. 2. 2. Aigorithmmus-Zwänge. - I. 2. 2. 1. Net_sorting. - I. 2. 2. 2. Node_sorting. - I. 2. 2. 3. Cost_function. - I. 2. 2. 4. Netzliste. - I. 2. 2. 5. Ausgabe. - I. 2. 2. 6. Erweiterung. - I. 2. 2. 7. Net_composition. - I. 2. 2. 8. Routing_composition. - I. 2. 3. Einschränkungen der Anwendung. - I. 2. 3. 1. Art. - I. 2. 3. 2. Untertyp. - I. 2. 3. 3. Alg_type. - I. 2. 3. 4. Number_of_nets. - I. 2. 3. 5. Number_of_cells_per_net. - I. 2. 4. Einschränkungen bei der Fertigung. - I. 2. 4. 1. Einheiten. - I. 2. 4. 2. Felder. - I. 2. 4. 3. Verbindungen. - I. 2. 4. 4. Xsize YsizeZsize. - I. 2. 4. 5. Technologie. - I. 2. 4. 6. PLATINE. - I. 2. 4. 7. Number_of_layers. - I. 2. 4. 8. Available_via_positioning. - I. 2. 4. 9. Schicht. - I. 2. 4. 10. IC. - I. 3. Schemata für Eingabebeschränkungen. Sprache: Englisch