On Horizontally Microprogrammed Microarchitecture Description Techniques

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.

[1]  Subrata Dasgupta,et al.  Some Aspects of High-Level Microprogramming , 1980, CSUR.

[2]  Charles W. Rose,et al.  Application of hardware description languages to microprogramming: Method, practice, and limitations , 1979, MICRO 12.

[3]  Michael Andrews Principles of firmware engineering in microprogram control , 1980 .

[4]  Yaohan Chu Introducing CDL , 1974, Computer.

[5]  S. Croucher,et al.  Surveys , 1965, Understanding Communication Research Methods.

[6]  David J. DeWitt A Control Word Model for detecting conflicts between microprograms , 1975, MICRO 8.

[7]  Bruce Shriver,et al.  A control word model for detecting conflicts between microoperations , 1975, SIGM.

[8]  John L. Gieser,et al.  Study and Experimentation of Horizontal Microprocessor Machine Description Techniques , 1981 .

[9]  Bruce D. Shriver,et al.  Local Microcode Compaction Techniques , 1980, CSUR.

[10]  Maurice V. Wilkes,et al.  The best way to design an automatic calculating machine , 1981 .

[11]  MARIO TOKORO,et al.  Optimization of Microprograms , 1981, IEEE Transactions on Computers.

[12]  Takanobu Baba,et al.  The MPG System: A Machine-Independent Efficient Microprogram Generator , 1981, IEEE Transactions on Computers.

[13]  John L. Gieser,et al.  Automatic microcode generation for horizontally microprogrammed processors , 1981, MICRO 14.

[14]  David A. Patterson An experiment in high level language microprogramming and verification , 1981, CACM.

[15]  Stephen Y. H. Su,et al.  Hardware Description Language Applications: An Introdiction and Prognosis , 1977, Computer.

[16]  Frederick J. Hill Introducing AHPL , 1974, Computer.

[17]  Ted G. Lewis,et al.  On the Design of a Microcode Compiler for a Machine-Independent High-Level Language , 1981, IEEE Transactions on Software Engineering.

[18]  Samir S. Husson,et al.  Microprogramming: principles and practices , 1971, SIGM.

[19]  Bruce D. Shriver,et al.  Firmware Engineering: An Extensive Update , 1980 .

[20]  Joseph A. Fisher,et al.  Trace Scheduling: A Technique for Global Microcode Compaction , 1981, IEEE Transactions on Computers.

[21]  James Nash,et al.  Hardware and software tools for the development of a micro-programmed microprocessor , 1979, MICRO 12.