Zusammenfassung
Die vorliegende Arbeit beschreibt einen retargierbaren Compiler. Ein solcher Compiler ist in der Lage für verschiedenen Zielmaschinen (Targets) Maschinencode zu erzeugen. Einsatzgebiete dieses Compilers sind vor allem: die Codeerzeugung für anwendungsspezifische Spezialprozessoren (speziell auch für Maschinen großer Befehlswortbreite), die Verifikation einer manuell erzeugten Hardwarestruktur gegenüber einer Verhaltensspezifikation und der Vergleich verschiedener Architekturkonzepte untereinander. Wesentliche Vorteile des Compilers ergeben sich aus der Tatsache, daß bereits dem Hardware-Designer eine Compiler-Unterstützung zur Verfügung steht. Schnittstellen-Probleme zwischen Compiler- und Hardware-Entwicklung entfallen, da für beide die gleiche Maschinenbeschreibung benutzt wird. So können beim Architekturentwurf verschiedene Konzepte hinsichtlich Laufzeit und Codedichte längerer Anwendungsprogramme verglichen werden.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
T. Baba, H. Hagiwara: The MPG System: A Machine-Independent Efficient Microprogram Generator, IEEE Trans. Comp., Vol. C-30, 6(1981), S.373–395
J.A. Fisher, D. Landskov, B.D Shriver: Microcode Compaction: the State of the Art, Technical Report, TR 82–3–3, University of Southwestern Louisiana, Lafayette, 1982
L. Hafer, A.C. Parker: A Formal Method for the Specification, Analysis and Design of Register-Transfer Level Digital Logic, IEEE Trans, on CAD Vol. CAD-2, 1(1983), S. 4–18
M. Klein: Entwurfs eines mikroprogrammierbaren Coprozessors für die die effiziente Abwicklung von Algorithmen des logischen Entwurfs, (Diplomarbeit), FB Elektrotechnik, Universität Kaiserslautern, 1986
H.W. Lang: The Instruction Systolic Array, A Parallel Architecture for VLSI, Integration, Vol. 4, 1986
J.L. Linn: A Suite of Microarchitectures for Evaluating Microcode Com pilers, ACM SIGMICRO Newsletter, Vol. 18, 4(1987), S. 34–48
P. Marwedel: A Retargetable Compiler For A High-Level Microprogramming Language, ACM SIGMICRO Newsletter, Vol. 15, 4(1984), S. 267–274
P. Marwedel: Ein Software-System zur Synthese von Rechnerstrukturen und zur Erzeugung von Mikrocode, Habilitationsschrift, Institut für Informatik und Praktische Mathematik, Universität Kiel, 197 Seiten, 1985
K. Kelle, G. Krüger, P. Marwedel, L. Nowak, L. Terasa, F. Wosnitza: Werkzeuge des MIMOLA-Hardware-Entwurfssystems, Bericht Nr. 8707, Institut für Informatik und Praktische Mathematik, Universität Kiel, Juni 1987
R.A. Mueller, J. Varghese: Flow Graph Machine Models in Microcode Syn thesis, 16th Ann. Microprogramming Workshop (MICRO-16), 1983, S.159–167
R.A. Mueller, J. Varghese, V.H. Allan: Global Methods in the Flow Graph Approach to Retargetable Microcode Generation, 17th Ann. Microprogramming Workshop (MICRO-17), 1984, S. 275–284
L. Nowak: SAMP: Entwurf und Realisierung eines neuartigen Rechnerkon zeptes, (Dissertation), Institut für Informatik und Praktische Mathematik, Universität Kiel, 1986
L. Nowak: Graph Based Retargetable Microcode Compilation in the MIMOLA Design System, Proc. 20th Ann. Workshop on Microprogramming (Micro-20), Colorado Springs, Dez.1987, S. 126–132
L. Nowak: SAMP: A General Purpose Processor Based on a Self-Timed VLIW Structure, Proc. 10. GI/ITG — Fachtagung: “Architektur und Betrieb von Rechensystemen”, Paderborn
A.C. Parker: Automated Synthesis of Digital Systems, IEEE Design and Test of Computers, Vol. 1, 4(1984), S. 75–81
W. Rosenstiel, R. Camposano: The Karlsruhe DSL Synthesis System, in: D. Borrione (Hsg.): From H.D.L. Descriptions to Guaranteed Correct Circuit Designs, North Holland, 1987
S.R. Vegdahl: Local Code Generation and Compaction in Optimizing Microcode Compilers (Dissertation), Bericht CMUCS-82–153, Carnegie-Mellon Universität, Pittsburgh, 1982
S.R. Vegdahl: Phase Coupling and Constant Generation in an Optimizing Microcode Compiler, 15th Ann. Microprogramming Workshop (MICRO-15), 1982 S. 125–133
S.R. Vegdahl: A New Perspective on the Classical Microcode Compaction Problem, SIGMICRO Newsletter, Vol. 14, 1 (1983), S. 11–14
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nowak, L., Marwedel, P. (1988). Ein retargierbarer Mikrocode-Compiler und seine Anwendung in Entwurfsverifikation und Architekturbewertung. In: Valk, R. (eds) GI — 18. Jahrestagung II. Informatik-Fachberichte, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74135-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-74135-7_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50360-6
Online ISBN: 978-3-642-74135-7
eBook Packages: Springer Book Archive