Abstract
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.
- 1 A.K. Agrawala & T.G. Rauscher, "Foundations of Microprogramming", Academic Press, (1976).Google Scholar
- 2 M.R. Barbacci, G.E. Barnes, R.G. Cattell & D.P. Siewiorek, "The ISPS Computer Description Language", CSD, Technical Report, Carnegie Mellon University, (1977).Google Scholar
- 3 D.G. Cattell, "Formalization and Automatic Derivation of Code Generators", Ph.D. Thesis, Tech. Report TR 78-115, Computer Science, Carnegie Mellon University, Pittsburgh Pa, (1977). Google Scholar
Digital Library
- 4 R.G.G. Cattell, "Automatic Derivation of Code Generators from Machine Descriptions", ACM Transactions on Programming Languages and Systems, Vol. 2, No. 2, pp 173-190, (1980). Google Scholar
Digital Library
- 5 Y. Chu, "Introducing the Computer Design Language", IEEE Computer Conference COMPCON72, San Francisco, pp. 215-218, (1972).Google Scholar
- 6 D. J. DeWitt, "A Control Word Model for Detecting Conflicts Between Microprograms", Proceedings of the 8-th Annual Workshop on Microprogramming, pp. 6-12, (1975). Google Scholar
Digital Library
- 7 J.A. Fisher, "The Optimization of Horizontal Microprograms within and beyond Basic Blocks: An Application of Processor Scheduling with Resources", Ph.D. Thesis, Department of Mathematics and Computing, New York University, (1979). Google Scholar
Digital Library
- 8 D. Landskov, S. Davidson, B, Shriver & P.W. Mallett, "Local Microcode Compaction Techniques", Computing Surveys, Vol. 12, no. 3, pp. 261-294, (1980). Google Scholar
Digital Library
- 9 Z. Manna & R. Waldinger, "Synthesis: Dreams -> Programs", IEEE Transactions on Software Engineering, Vol. SE-5, No.4, pp. 294-327, (1979).Google Scholar
Digital Library
- 10 R.A. Mueller, "Formalization and Automated Synthesis of Microprograms" Proceedings of the 13-th Annual Workshop on Microprogramming, pp. 45-53, (1980). Google Scholar
Digital Library
- 11 D. Patterson, K. Lew & R. Tuck, "Towards an Efficient, Machine-Independent Language for Microprogramming", Proceedings of the 12-th Annual Workshop on Microprogramming, pp. 22-35, (1979). Google Scholar
Digital Library
- 12 M.D. Poe, "Heuristics for the Global Optimization of Microprograms", Proceedings of the 13-th Annual Workshop on Microprogramming, pp. 13-22, (1980). Google Scholar
Digital Library
- 13 W. Reigel, V. Farber & D.A. Fisher, "The Interpreter - A Microprogrammable Building Block System", AFIPS Conference Proceedings, Vol. 40, pp. 705-723, (1972).Google Scholar
- 14 H.J. Sint, "A Survey of High Level Microprogramming Languages", Proceedings of the 13-th Annual Workshop on Microprogramming, pp. 141-153, (1980). Google Scholar
Digital Library
- 15 M. Tokoro, E. Tamura, K. Takase & K. Tamaru, "An Approach To Microprogram Optimization Considering Resource Occupancy and Instruction Formats", Proceedings of the 10-th Annual Workshop on Microprogramming, pp. 92-108, (1977). Google Scholar
Digital Library
- 16 R.D. Tuck, "Software Microprogramming Tools for the VAX-11/780", Memorandum No. UCB/ERL M79/65, Electronics Research Laboratory, University of California, Berkeley, (1979).Google Scholar
Index Terms
MIDL - a microinstruction description language
Recommendations
MIDL - a microinstruction description language
MICRO 14: Proceedings of the 14th annual workshop on MicroprogrammingA 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 ...
Device Description Language: Factorizing the Control of Arbitrary Networked Devices
FICLOUD '14: Proceedings of the 2014 International Conference on Future Internet of Things and CloudDevice Description Language (DDL) has been developed to allow an arbitrary device on a network to provide a description of its functionality and capabilities so that a controller or monitor can interpret it and automatically configure itself to control ...
A microarchitecture description language for retargeting firmware tools
MICRO 19: Proceedings of the 19th annual workshop on MicroprogrammingARCHI is a microarchitecture description language designed to serve as the underlying language for a retargetable firmware development environment. ARCHI provides a hierarchical, procedural description at the register transfer level of the target ...






Comments