Correctness and equivalence of straight line microprograms
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Local and global microcode compaction using reduction operators
ACM SIGMICRO Newsletter
The MPG System: A Machine-Independent Efficient Microprogram Generator
IEEE Transactions on Computers
Some Experiments in Local Microcode Compaction for Horizontal Machines
IEEE Transactions on Computers
IEEE Transactions on Computers
Microprogram Optimization: A Survey
IEEE Transactions on Computers
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
Toward Optimization of Horizontal Microprograms
IEEE Transactions on Computers
A Research-Oriented Dynamic Microprocessor
IEEE Transactions on Computers
Computer architecture and instruction set design
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
| Hi-index | 15.00 |
With increased use of microprogramming in present computer systems, the need arises to automate the checking and optimization of microcode. This paper reviews the optimization objectives, characterizes microprogranis, and discusses the machine structure. A translator from machine code to microcode appears feasible and is described. Some compiler techniques are reviewed and adapted to improve microprograms by studying operational interaction. Microprogram characteristics permit additional methods to reduce the computation effort. The techniques are integrated into a scheme implemented for optimizing a simulated machine.