skip to main content
article
Free Access

MIDL - a microinstruction description language

Published:01 December 1981Publication History
Skip Abstract Section

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.

References

  1. 1 A.K. Agrawala & T.G. Rauscher, "Foundations of Microprogramming", Academic Press, (1976).Google ScholarGoogle Scholar
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Y. Chu, "Introducing the Computer Design Language", IEEE Computer Conference COMPCON72, San Francisco, pp. 215-218, (1972).Google ScholarGoogle Scholar
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 Z. Manna & R. Waldinger, "Synthesis: Dreams -> Programs", IEEE Transactions on Software Engineering, Vol. SE-5, No.4, pp. 294-327, (1979).Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 R.A. Mueller, "Formalization and Automated Synthesis of Microprograms" Proceedings of the 13-th Annual Workshop on Microprogramming, pp. 45-53, (1980). Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle Scholar
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle Scholar

Index Terms

  1. MIDL - a microinstruction description language

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGMICRO Newsletter
        ACM SIGMICRO Newsletter  Volume 12, Issue 4
        Dec. 1981
        187 pages
        ISSN:1050-916X
        DOI:10.1145/1014192
        Issue’s Table of Contents
        • cover image ACM Conferences
          MICRO 14: Proceedings of the 14th annual workshop on Microprogramming
          December 1981
          214 pages

        Copyright © 1981 Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 December 1981

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!