skip to main content
article
Free Access

High level microprogramming: current usage, future prospects

Published:01 December 1983Publication History
Skip Abstract Section

Abstract

High level microprogramming languages have been studied extensively, but no widely accepted HLML exists to date. We examine the classes of HLMLs, giving examples. We then give some reasons as to the current lack of an accepted HLML, and give some suggestions how to solve this problem. The existence of a HLML would allow work on higher level microprogramming and firware engineering to proceed more rapidly. A possible microprogramming environment, based on a HLML, is presented.

References

  1. Bartlett, J. F., "MicroTAL - A Machine-Dependent High-Level Microprogramming Language," Proc. 14th Annu. Microprogramming Workshop, pp. 109--114. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Brooks, F. P. Jr, The Mythical Man Month (3rd ed.). Reading, Massachusetts: Addison-Wesley, 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Budkowski, S., and P. Dembinski, "Firmware versus Software Verification," Proc. 11th Annu. Microprogramming Workshop, pp. 119--127. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Carter, W. C., W. H. Joyner, Jr., and D. B. Brand, "Symbolic Simulation for Correct Machine Design," 16th Annu. Design Automation Conf., June 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Crocker, S. D., Marcus, L., and D. van-Mierop, "The ISI Microcode Development System," IFIP TC-10 Conference on Microprogramming, Firmware and Restructurable Hardware, North-Holland, Amsterdam, 1980, pp. 243--249.Google ScholarGoogle Scholar
  6. Dasgupta. S., "Some Aspects of High Level Microprogramming," Comput. Surv., 12 (1980), 3, pp. 295--324. Microprogramming Language Design," Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Davidson, S., "Design and Construction of a Virtual Machine Resource Binding Language," Ph.D. Dissertation, Computer Science Department, University of Southwestern Louisiana, December 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Davidson, S., and B. D. Shriver, "Firmware Engineering: An Extensive Update," IFIP TC-10 Conference on Microprogramming, Firmware and Restructurable Hardware, North-Holland, Amsterdam, 1980, pp. 1--36.Google ScholarGoogle Scholar
  9. Davidson, S., D. Landskov, B. D. Shriver, and P. W. Mallett, "Some Experiments in Local Microcode Compaction for Horizontal Machines," IEEE Trans. Comput., C-30 (1981), 7, pp. 460--477.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Davidson, S., and B. D. Shriver, "Specifying Target Resources in a Machine Independent High Level Language," AFIPS Proceedings of the National Computer Conference (Vol. 50), 1981, pp. 81--85.Google ScholarGoogle Scholar
  11. Fisher, J. A., "Trace Scheduling: A Technique for Global Microcode Compaction," IEEE Trans. Comput., C-30 (1981), 7, pp. 478--490.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Guffin, R. M., "A Microprogramming Language Directed Microarchitecture," Proc. 15th Annu. Microprogramming Workshop, pp. 42--49. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Hobson, R. F., P. Hannon, and J. Thornburg, "High-Level Microprogramming with APL Syntax," Proc. 14th Annu. Microprogramming Workshop, pp. 131--139. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Landskov, D., S. Davidson, B. D. Shriver, and P. W. Mallett, "Local Microcode Compaction Techniques," Comput. Surv., 12 (1980), 3, pp. 261--294. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Lattin, W. W., J. A. Bayliss, D. L. Budde, J. R, Rattner, and W. S. Richardson, "A Methodology for VLSI Chip Design," Lambda, II (1981), 2, pp. 34--45.Google ScholarGoogle Scholar
  16. MICRO-14, Proceedings of 14th Annual Microprogramming Workshop, October 12-15 1981, Chatham, MA.Google ScholarGoogle Scholar
  17. Oestreicher, D. R., "A Microprogramming Language for the MLP-900," Proc. ACM SIGPLAN-SIGMICRO Interface Meeting, 1973, pp. 113--116. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Patterson, D. A., "An Experiment in High Level Language Microprogramming and Verification," Comm. ACM, 24 (1981), 10, pp. 699--709. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Patterson, D. A., K. Lew, and R. Tuck, "Towards an Efficient, Machine-Independent Language for Microprogramming," Proc. 12th Annu. Microprogramming Workshop, pp. 22--35. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Patterson, D., R. Goodell, M. D. Poe, and S. C. Steely Jr., "V-Compiler: A Next-Generation Tool for Microprogramming," AFIPS Proceedings of the National Computer Conference, (Vol. 50), 1981, pp. 103--109.Google ScholarGoogle Scholar
  21. Sheraga, R. J., and J. L. Gieser, "Automatic Microcode Generation for Horizontally Microprogrammed Processors," Proc. 14th Annu. Microprogramming Workshop, pp. 154--168. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Sint, M., "MIDL - A Microinstruction Description Language," Proc. 14th Annu. Microprogramming Workshop, pp. 95--106. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Sint, M. "A Survey of Higher Level Microprogramming Languages," Proc. 13th Annu. Microprogramming Workshop, pp. 141--153. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Sommerville, J. F., "Towards Machine Independent Microprogramming," Euromicro Journal, 5 (1979), 4, pp. 219--224.Google ScholarGoogle ScholarCross RefCross Ref
  25. Teitelbaum, T., and T. Reps, "The Cornell Program Synthesizer: A Syntax-Directed Programming Environment," Comm. ACM, 24 (1981), 9, pp. 563--573. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Tucker, A. B., and Flynn, M. J., "Dynamic Microprogramming: Processor Organization and Programming," Comm. ACM, 14 (1971), 4, pp. 240--250. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Wasserman, A. I. (ed.), Special Issue on Programming Environments, Computer, 14 (1981), 4.Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. Weidner, T. G., "CHAMIL, A Case Study in Microprogramming Language Design," ACM SIGPLAN Notices, 15 (1980), 1, pp. 156--166. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Wexelblat, R. L. (ed.), Proceedings of ACM SIGPLAN-SIGMICRO Interface Meeting, 1973.Google ScholarGoogle Scholar

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 14, Issue 4
    December 1983
    205 pages
    ISSN:1050-916X
    DOI:10.1145/1096419
    Issue’s Table of Contents

    Copyright © 1983 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 December 1983

    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!