Automated microcode synthesis
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Principles of artificial intelligence
Principles of artificial intelligence
Code Generation for a One-Register Machine
Journal of the ACM (JACM)
Local Microcode Compaction Techniques
ACM Computing Surveys (CSUR)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A portable compiler: theory and practice
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
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 retargetable compiler for a high-level microprogramming language
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
A machine independent approach to the production of optimized horizontal microcode.
A machine independent approach to the production of optimized horizontal microcode.
Automatic generation of code generators.
Automatic generation of code generators.
Formalization and automatic derivation of code generators.
Formalization and automatic derivation of code generators.
A machine independent algorithm for code generation and its use in retargetable compilers.
A machine independent algorithm for code generation and its use in retargetable compilers.
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
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)
Microprogramming instruction systolic arrays
MICRO 22 Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
| Hi-index | 0.00 |
Most work on automating the translation of high-level microprogramming languages into microcode has dealt with lexical and syntactic analysis and the use of manually produced macro tables for code generation. We describe an approach to and some results on the formalization and automation of the more difficult problem of retargeting local code generation in a machine-independent, optimizing microcode synthesis system. Whereas this problem is similar in many ways to that of retargeting local code generation in high-level language compilers, there are some major differences that call for new approaches.The primary issues addressed in this paper are the representation of target microprogrammable machines, the intermediate representation of local microprogram function, and general algorithmic methods for deriving local microcode from target machine and microcode function specifications. Of particular interest are the use of formal semantics and data flow principles in achieving both a general and reasonably efficient solution. Examples of the modeling of a representative horizontal machine (the PUMA) and the generation of microcode for the PUMA machine model from our working implementation are presented.