An approach to optimization of horizontal microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
On storage optimization of horizontal microprograms
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
A microprogramming language for the B-1726
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
The Datasaab FCPU microprogramming language
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
A microprogramming language for the MLP-900
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
Execution time (and memory) optimization in microprograms
MICRO 7 Supplement to the conference record of the 7th annual workshop on Microprogramming
Optimization of machine descriptions for efficient use
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
The Organization of Microprogram Stores
ACM Computing Surveys (CSUR)
Local Microcode Compaction Techniques
ACM Computing Surveys (CSUR)
Design of a Machine-Independent Optimizing System for Emulator Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimization of Machine Descriptions for Efficient Use
International Journal of Parallel Programming
MIDL - a microinstruction description language
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Automatic microcode generation for horizontally microprogrammed processors
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
An approach to microprogram optimization considering resource occupancy and instruction formats
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Improved instruction formation in the exhaustive local microcode compaction algorithm
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A Hierarchical Description Model for Microcode
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
The design of a firmware engineering tool: the microcode compiler
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
| Hi-index | 0.01 |
The compilation and optimization of a microprogram for a computer with a horizontal control word format is highly machine dependent. The compilation phase involves the detection of parallelism in a sequence of source statements followed by a mapping into a sequence of microoperations. The optimization phase involves combining these microoperations to form microinstructions in an optimal manner. One of the important subprocesses of the optimization phase is determining whether or not two or more microoperations can be executed concurrently. This paper presents the Control Word Model for determining when two or more microoperations can be executed concurrently. The Control Word Model is a machine independent model of the semantics of the control words for microprogrammable computers. As will be demonstrated, the concurrency permitted is sometimes determined not simply by the hardware configuration of buses, register, memories, and ALUs but also by the format of the control word chosen by the designer. This observation has motivated the development of the Control Word Model.