Local Microcode Compaction Techniques
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
PASCAL user manual and report
MIDL - a microinstruction description language
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
A retargetable microcode generation system for a high-level microprogramming 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
Heuristics for the global optimization of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
The MIMOLA design system a computer aided digital processor design method
DAC '79 Proceedings of the 16th Design Automation Conference
Formalization and automatic derivation of code generators.
Formalization and automatic derivation of code generators.
State deltas: a formalism for representing segments of computation.
State deltas: a formalism for representing segments of computation.
Symbolic execution of formal machine descriptions
Symbolic execution of formal machine descriptions
The optimization of horizontal microcode within and beyond basic blocks: an application of processor scheduling with resources
Automated microprogram synthesis
Automated microprogram synthesis
Register allocation in optimizing compilers
Register allocation in optimizing compilers
Design and construction of a virtual machine resource binding language
Design and construction of a virtual machine resource binding language
Local code generation and compaction in optimizing microcode compilers
Local code generation and compaction in optimizing microcode compilers
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)
| Hi-index | 0.00 |
Retargetability of microcode compilers is currently a major issue in microprogramming. We address the issue of local code generation from machine-independent specifications using weakest precondition semantics. The micromachine model used is a flow graph which is an abstract representation of the data paths of the machine. Examples of code generated by a prototype implementation are provided as an illustration of the method.