skip to main content
article
Free Access

Application of hardware description languages to microprogramming: Method, practice, and limitations

Published:18 November 1979Publication History
Skip Abstract Section

Abstract

The use of microprogrammable processors and networks of microcomputers has induced a reconsideration of development tools and methodologies for system design and construction. This article presents the history, structure, and use of a system developed at Case Western Reserve to support the development of these kinds of systems. Other applications of hardware description languages to microprogramming and system development are discussed. The paper concludes with a discussion of limitations on the application of hardware description languages to this area as a consequence of faults in the languages themselves.

References

  1. 1 Abromovici, M., Brauer, M., and Kumar, K., Concurrent Fault Simulation and Functional Level Modeling, Proc. 14th Design Automation Conference, 1977.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2 Avizienis, A., Architecture of Fault Tolerant Computing Systems, Proc. Intl. Symposium on Fault Tolerant Computing Systems, 1975.]]Google ScholarGoogle Scholar
  3. 3 Backus, J., Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs, CACM, Vol. 21, No. 8, August 1978.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Barbacci, M., A Comparison of Register Transfer Languages for Describing Computer and Digital Systems, IEEE Transactions on Computers, February 1975.]]Google ScholarGoogle Scholar
  5. 5 Barbacci, M. and Siework, D., Applications of an ISP Compiler in a Design Automation Laboratory, Proc. 1975 Intl. Symposium on Computer Hardware Description Languages and Their Applications, 1975.]]Google ScholarGoogle Scholar
  6. 6 Barbacci, M. and Siework D., The C-MU RT-CAD System: An Innovative Approach to Computer- Aided Design, CMU Internal Report, 1975.]]Google ScholarGoogle Scholar
  7. 7 Bell, C. G., and Newell, A., The PMS and ISP Descriptive System for Computer Systems, Proc. AFIPS, SJCC, 1970.]]Google ScholarGoogle Scholar
  8. 8 Cooper, R., The Distributed Pipeline, IEEE Transactions on Computers, November 1977.]]Google ScholarGoogle Scholar
  9. 9 Crocker, S., State Deltas: A Formalism for Representing Segments of Computation, PhD Thesis, Computer Science Department, UCIA, 1977.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Davis, A. L., Data Driven Nets: A Maximally Concurrent, Procedural, Parallel Process Representation for Distributed Control Systems, Univ. of Utah Dept. of Computer Science Report UUCS-78-108, July 1978.]]Google ScholarGoogle Scholar
  11. 11 Drongowski, P. J., Fuller, S. H., and Almes, G. T., Emulating the Nova on the PDP-11/40E: A Case Study, IEEE Fall CompCon '75, September 9-11, 1975, Washington D.C.]]Google ScholarGoogle Scholar
  12. 12 Drongowski, P. J., N.mPc: An Adaptable Software System to Support the Development of Microprocessor- Based Systems, Andrew R. Jennings Computer Center Report 1177, Case Western Reserve University, 1977.]]Google ScholarGoogle Scholar
  13. 13 Drongowski, P. J., ISP' Language Reference Manual with Implementation Notes, Ford Aerospace Technical Report, IEEE Repository No. R78-216, June 1978.]]Google ScholarGoogle Scholar
  14. 14 Maxey, G. F., and Organick, E. I., CASL - A Language for Automating the Implementation of Computer Architectures, Proc. of the 5th Symposium on Computer Hardware Description Languages, Palo Alto, California, October, 1979.]]Google ScholarGoogle Scholar
  15. 15 Mitre Corp., Secure Unix Kernel B5 Specifications, Bedford, Massachusetts, 1976.]]Google ScholarGoogle Scholar
  16. 16 Parker, A., et. al., the C-MU Design Automation System: An Example of Automated Data Path Design, Carnegie-Mellon University Design Research Center Report DRC-18-15-79, May 1979.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17 Parker, A., and Hafer, L., Automated Synthesis of Digital Hardware, C-MU Design Research Center Report DRC-18-12-79, May 1979.]]Google ScholarGoogle Scholar
  18. 18 Parker, A. C., Thomas, D. E., and Crocker, S., ISPS: A Retrospective View, C-MU Design Research Center Report DRC-18-14-79, May 1979.]]Google ScholarGoogle Scholar
  19. 19 Parker, A. C., Invited Seminar Speaker, Dept. of Computer Science, University of Utah, June 1979.]]Google ScholarGoogle Scholar
  20. 20 Proceedings of the 1976 International Conference on Parallel Processing, IEEE, 1976.]]Google ScholarGoogle Scholar
  21. 21 Reddie, S. S., and Feustal, E. A., A Conceptual Framework for Computer Architecture, Computing Surveys, CACM, June 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22 Rose, C. W., and Schoeffler, J. D., Distributed Intelligence and Input/Output in Data Acquisition Systems, Proc. International Telemetering Conference, Vol. XII, 705-720, September 1976.]]Google ScholarGoogle Scholar
  23. 23 Roubine, O., and Robinson, L., SPECIAL Reference Manual, 3rd Edition, SRI International Technical Report CSG-45, January 1977.]]Google ScholarGoogle Scholar
  24. 24 Proc. of the 16th Design Automation Conference, Session on N.mPc, ACM SIGDA and IEEE CS, San Diego, California, June 25-27, 1979.]]Google ScholarGoogle Scholar
  25. 25 TRW, Corp., Advanced SMITE Technical Report (Interim): Performance Measurement, Extensibility, and Concurrency Study, Defense and Space Systems Group, March 1978.]]Google ScholarGoogle Scholar
  26. 26 Wagner, T. J., Verification of Hardware Designs Through Symbolic Manipulation, Proc. Design Automation and Microprocessors, ACM SIGDA and IEEE CS, Palo Alto, California]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Application of hardware description languages to microprogramming: Method, practice, and limitations

          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 10, Issue 4
            Dec. 1979
            113 pages
            ISSN:1050-916X
            DOI:10.1145/1014188
            Issue’s Table of Contents

            Copyright © 1979 Authors

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 18 November 1979

            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!