Abstract
This paper describes a retargetable compiler, which is able to compile programs into the machine code of a specified hardware (target). The target is described at register-transfer structure level by module specifications and netlists. The program can be defined at several levels of abstraction, spanning the range from algorithmic description e.g. PASCAL) down to RT-level behavioural description. If the program is the complete target's behavioural specification the compiler can be used to verify the structural against this behavioural description.
- {JöM87} R. Jöhnk, P. Marwedel: MIMOLA Language Reference Manual, Language Version 3.4, report of the Institut für Informatik und Praktische Mathematik, University of Kiel, 1987]]Google Scholar
- {Kle86} M. Klein: Entwurf eines mikroprogrammier-baren Coprozessors für die effiziente Abwicklung von Algorithmen des logischen Entwurfs, dipl. thesis, Fachbereich Elektro-technik, University of Kaiserslautern, 1986]]Google Scholar
- {Mal78} P. W. Mallett: Methods of Compacting Microprograms, Ph.D. thesis University of Southwestern Louisiana, Lafayette, 1978]] Google Scholar
Digital Library
- {Mar84} P. Marwedel: A Retargetable Compiler For A High-Level Microprogramming Language, ACM SIGMICRO Newsletter, Vol. 15, No. 4, 1984, p. 267--274]] Google Scholar
Digital Library
- {Mar85} P. Marwedel: Ein Software-System zur Synthese von Rechnerstrukturen und zur Erzeugung von Mikrocode, habilitation thesis and report of the Institut für Informatik und Praktische Mathematik, University of Kiel, 1985, 197 pages]]Google Scholar
- {Mar87} P. Marwedel: On the Use of Hierarchies in the MIMOLA Hardware Design System, proceed. COMP EURO 87, Hamburg, 1987, p. 944--948]]Google Scholar
- {MuV83} R. A. Mueller, J. Varghese: Flow Graph Machine Models in Microcode Synthesis, 16th Annual Microprogramming Workshop (MICRO-16), 1983, p. 159--167]]Google Scholar
Digital Library
- {MVA84} 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, p. 275--284]] Google Scholar
Digital Library
- {Veg82} S. R. Vegdahl: Local Code Generation and Compaction in Optimizing Microcode Compilers, Ph.D. thesis, report CMU-CS-82-153, Carnegie-Mellon University, Pittsburgh, 1982]] Google Scholar
Digital Library
- {Veg82a}S. R. Vegdahl: Phase Coupling and Constant Generation in an Optimizing Microcode Compiler, 15th Annual Microprogramming Workshop (MICRO-15), 1982, p. 125--133]] Google Scholar
Digital Library
- {Veg83} S. R. Vegdahl: A New Perspective on the Classical Microcode Compaction Problem, SIGMICRO Newsletter, Vol. 14, 1983, p. 11--14]] Google Scholar
Digital Library
Index Terms
Graph based retargetable microcode compilation in the MIMOLA design system
Recommendations
Graph based retargetable microcode compilation in the MIMOLA design system
MICRO 20: Proceedings of the 20th annual workshop on MicroprogrammingThis paper describes a retargetable compiler, which is able to compile programs into the machine code of a specified hardware (target). The target is described at register-transfer structure level by module specifications and netlists. The program can ...
Retargetable microcode synthesis
Most work on automating the translation of high-level microprogramming languages into microcode has dealt with lexical and syntactic analysis and the use of manually produced macro tables for code generation. We describe an approach to and some results ...






Comments