Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Compiler Construction for Digital Computers
Compiler Construction for Digital Computers
Structure of Computers and Computations
Structure of Computers and Computations
Global optimization of microprograms through modular control constructs
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
On the packing of micro-operations into micro-instruction words
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Polynomial complete scheduling problems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
A machine independent approach to the production of optimized horizontal microcode.
A machine independent approach to the production of optimized horizontal microcode.
Symbolic execution of formal machine descriptions
Symbolic execution of formal machine descriptions
Methods of compacting microprograms
Methods of compacting microprograms
The optimization of horizontal microcode within and beyond basic blocks: an application of processor scheduling with resources
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Some experiments in global microcode compaction
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Phase coupling and constant generation in an optimizing microcode compiler
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Issues of the design of a low level microprogramming language for global microcode compaction
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
MIDL - a microinstruction description language
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Considerations for local compaction of nanocode for the nanodata QM-1
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
Local and global microcode compaction using reduction operators
ACM SIGMICRO Newsletter
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
Experiments in Automatic Microcode Generation
IEEE Transactions on Computers
V-Compiler: a next-generation tool for microprogramming
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Hi-index | 0.00 |
Most of the discussion in the microprogram optimization literature deals only with straight line segments. This paper discusses an implementation in progress that globally optimizes microprograms. The complete optimization of microprograms has been shown to be very expensive computationally. However, the use of heuristics, such as those described in this paper, can efficiently approximate exhaustive optimization of microprograms.