Local Microcode Compaction Techniques
ACM Computing Surveys (CSUR)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Heuristics for the global optimization of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
A survey of high level microprogramming languages
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Towards an efficient, machine-independent language for microprogramming
MICRO 12 Proceedings of the 12th 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
A Control Word Model for detecting conflicts between microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Formalization and automatic derivation of code generators.
Formalization and automatic derivation of code generators.
The optimization of horizontal microcode within and beyond basic blocks: an application of processor scheduling with resources
Retargetable microcode synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Phase coupling and constant generation in an optimizing microcode compiler
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Microcode compaction via microblock definition
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
A model of clocked micro-architectures for firmware engineering and design automation applications
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
Micro embedded monitoring for security in application specific instruction-set processors
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
High level microprogramming: current usage, future prospects
ACM SIGMICRO Newsletter
The Complexity of Horizontal Word Encoding in Microprogrammed Machines
IEEE Transactions on Computers
| Hi-index | 0.00 |
A microinstruction description language called MIDL is introduced. A MIDL description of a microarchitecture defines the semantics and triggering conditions of all microoperations. It also defines operand selection. MIDL incorporates a timing model that allows detailed specification of the timing of each microoperation, and a sequencing model that allows the description of many different sequencing schemes.