On Horizontally Microprogrammed Microarchitecture Description Techniques
- 1 September 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-8 (5), 513-525
- https://doi.org/10.1109/tse.1982.235739
Abstract
In automatically generating microcode starting from a highlevel source language, a significant issue is the description of the target microengine architecture. The techniques and methodologies used to accomplish this address the practical issues of: 1) a detailed description of all microprogram controJled haudware elements of the microengine, the microinstruction, the rules for valid use of all microprogrammed features, and the behavior of microprogrammed operations; and 2) the use of this description to interpret and decode higher level source intermediate languages to form microoperations and ultimately microinstructions. This work is a step in conceptually defining the techniques and methodologies for microarchitecture descriptions to accomplish the above. Its objective is to identify the techniques that appear to have the most promise for use in interjecting the target microarchitecture characteristics into the high-level language-to-microcode compilation process.Keywords
This publication has 13 references indexed in Scilit:
- Automatic microcode generation for horizontally microprogrammed processorsACM SIGMICRO Newsletter, 1981
- An experiment in high level language microprogramming and verificationCommunications of the ACM, 1981
- Trace Scheduling: A Technique for Global Microcode CompactionIEEE Transactions on Computers, 1981
- The MPG System: A Machine-Independent Efficient Microprogram GeneratorIEEE Transactions on Computers, 1981
- On the Design of a Microcode Compiler for a Machine-Independent High-Level LanguageIEEE Transactions on Software Engineering, 1981
- Local Microcode Compaction TechniquesACM Computing Surveys, 1980
- Some Aspects of High-Level MicroprogrammingACM Computing Surveys, 1980
- Application of hardware description languages to microprogrammingACM SIGMICRO Newsletter, 1979
- A Control Word Model for detecting conflicts between microprogramsPublished by Association for Computing Machinery (ACM) ,1975
- Introducing AHPLComputer, 1974