skip to main content
article
Free Access

On the formal pescription of microoperations and its impact on automatic microcode generation

Authors Info & Claims
Published:01 May 1985Publication History
Skip Abstract Section

Abstract

Automatic microcode generation is a significant research field of firmware engineering. In the research System AMPS, three kinds of formal description of microoperations will be needed in automatic microcode generation from high level microprogramming language: algorithmic microoperations, real microoperations, and formal microoperations. In this paper, we present and discuss the formal descriptions, the relationship among real microoperations as well as the factors by which the concurrency of microoperations can be identified; we also show the vitality of these three kinds of description mentioned above in allowing the high level microprogramming language being machine-independent, and the generality of microcode compaction algorithm.

References

  1. Chu Y., "An Algol-like Computer Design Language," Comm. of ACM, Oct. 1965, pp. 607--615. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. R. H. Eckhouse, Jr., "A High-level Microprogramming Language (MPL)," AFIPS Conference Proceedings, vol. 39, 1971 SJCC.Google ScholarGoogle Scholar
  3. C. V. Ramamoorthy and Masahiro Tsuchiya, "A High-Level Language for Horizontal Microprogramming," IEEE Trans. Comput., vol. C-23, no. 8, Aug. 1974, pp. 791--801.Google ScholarGoogle Scholar
  4. D. J. Dewitt, "Extensibility---A New Approach for Designing Machine Independent Microprogramming Languages," Proceedings of the 9-th Annual Workshop on Microprogramming, 1976, pp. 33--41. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Dasgupta, "Towards a Microprogramming Language Schema," Proceeding of the 11-th Annual Workshop on Microprogramming, 1978, pp. 144--153. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Takaroku Baba, Hiroshi Hagiware, "The MPG System, A Machine-independent efficient Microprogram Generator," IEEE Trans. Comput., vol. C-30, no. 6, June 1981, pp. 373--395.Google ScholarGoogle Scholar
  7. Scott Davidson, David Landskov, Bruce D. Shriver and Patrick W. Mallett, "Some Experiments in Local Microcode Compaction for Horizontal Machines," IEEE Trans. Comput., vol. C-30, no. 7, July 1981, pp. 460--477.Google ScholarGoogle Scholar
  8. J. Fisher, "Trace Scheduling: A Technique for Global Microcode Compaction," IEEE Trans. Comput., vol. C-31, no. 7, July 1981, pp. 478--490.Google ScholarGoogle Scholar
  9. M. Tokoro, E. Tamura, and T. Takizuka, "Optimization of microprograms," IEEE Trans. Comput., vol. C-30, no. 7, July 1981, pp. 491--504.Google ScholarGoogle Scholar
  10. R. L. Kleir and C. V. Ramamoorthy, "Optimization Strategies for Microprograms," IEEE Trans. Comput., vol. C-20, no. 7, July 1971, pp. 783--794.Google ScholarGoogle Scholar
  11. Michael Andrews, "Principles of Firmware Engineering in microprogram Control," Computer Science Press, Inc., 1980, pp. 173. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. M. Mezzalama and P. Prinetto, "A Hierazchical Description Model for Microcode," IEEE Trans. Comput., vol. C-32, no. 5, May 1983, pp. 478--487.Google ScholarGoogle Scholar
  13. Tilak Agerwala, "Microprogram Optimization: A Survey," IEEE Trans. Comput., vol. C-25, no. 10, Oct. 1976, pp. 962--973.Google ScholarGoogle Scholar
  14. Subrata Dasgupta and John Tartar, "The Identification of Maximal Parallelism in Straightline Microprograms," IEEE Trans. Comput., vol. C-25, no. 10, Oct. 1976, pp. 986--991.Google ScholarGoogle Scholar
  15. S. S. Yau, A. C. Schowe, and M. Tsuchiya, "On Storage Optimization of Horizontal Microprograms," Proc. 7-th Annual Workshop on Microprogramming, 1974, pp. 98--106. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Mario Tokoro, Eiji tamuza, Kazuhiko Takase, and Kiichiro Tamaru, "An Approach to Microprogram Optimization Considering Resource Occupancy and Instruction Formats," Proc. 10th Annual Workshop on Microprogramming, 1977, pp. 92--108. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Chen Bingcong, "Microprogramming Techniques in Electronic Computer," (Chinese), Defence Industry Publishing House, Beijing, 1981.Google ScholarGoogle Scholar
  18. IBM CORP., IBM System 370 Model 158 Control Specification, 1977.Google ScholarGoogle Scholar
  19. M. Mezzalama and P. Prinetto, "A Machine-Independent Approach to Microprogram Synthesis," Software --- Practice and Experience, vol. 12, no. 11, Nov. 1982, pp. 985--1010.Google ScholarGoogle ScholarCross RefCross Ref

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 16, Issue 2
    May 1985
    23 pages
    ISSN:1050-916X
    DOI:10.1145/1218048
    Issue’s Table of Contents

    Copyright © 1985 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 May 1985

    Check for updates

    Qualifiers

    • article
  • Article Metrics

    • Downloads (Last 12 months)7
    • Downloads (Last 6 weeks)0

    Other Metrics

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!