skip to main content
article
Free Access

A functional model of clocked microarchitectures

Authors Info & Claims
Published:01 August 1989Publication History
Skip Abstract Section

Abstract

Models for the simulation of computer systems at the microarchitectural level are widely used to assist in design analysis and verification, and the development of microcode. The general model we describe here represents the behaviour of a clocked microarchitecture through the application of functions to component states and signal values. The operational semantics of the model are based partly on data flow and partly on graph reduction, allowing use to be made of the concept of 'lazy' evaluation to aid efficient simulation.

References

  1. 1 Dasgupta, S., "S A: A Language for Describing Computer Architectures", Proc. 5th Conf. on Computer Hardware Description Languages and their Applications, 65-78 (1981)Google ScholarGoogle Scholar
  2. 2 Piloty, R., and Borrione, D., "The Conlan Project: Concepts, Implementations, and Applica.tions", IEEE Computer, 18(2), 81-92 (1985)Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Maruyama, F., and Fujita, M., "Hardware Verification", IEEE Computer, 18(2), 22-32 (1985)Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4 Hill, D., and Van Cleemput, W.M., "Sable: A Tool for Generating Structured, Multi-Level Simulations", Proc. Design Automation Conference, 272-279 (1979) Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Pawlak, A., and Jezewski, J., "MODLAN - A Language for Multilevel Description and Modelling of Digital Sys terns", Proc. 5th Conf. on Computer Hardware Description Languages and their Applications, 79-93 (1981)Google ScholarGoogle Scholar
  6. 6 Mermet, J., "The CASCADE Hierarchical Multilevel Mixed-Mode (HM3) Simulator", in 'Microcomputers, Usage and Design', K. Waldschmidt and B. Myhrhaug (eds), 181-192, North Holland (1985)Google ScholarGoogle Scholar
  7. 7 Firth, N.R., "The Role of Software Tools in the Development of the Eclipse MV/8000 Microcode", Proc. 13th Annual Microprogramming Workshop, IEEE, 54-58 (1980) Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Thomas, D.E., et al, ""Automatic Data Path Synthesis", IEEE Computer 16(12), 59-70 (1983)Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 Mueller, R.A., and Varghese, J., "Flow Graph Machine Models in Microcode Synthesis", Proc. 16th Annual Micoprogramming Workshop, IEEIE, 159-167, (1983)Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 Mezzalama, M., and Prinetto, P., "A Strategy for Simulating Bit-Slice Based Microprogrammable Systems", Microprocessing and Microprogramming 7, 334-343 (1981)Google ScholarGoogle ScholarCross RefCross Ref
  11. 11 Gordon, M.J.C., "Register Transfer Systems and their Behaviour", Proc. 5th Conf. on Hardware Description Languages and their Applications, 23-36 (1981)Google ScholarGoogle Scholar
  12. 12 Damm, W., "A Microprogramming Logic", Report 94, Lehrstuhl fur Informatik II, RWTH Aachen, West Germany (1984)Google ScholarGoogle Scholar
  13. 13 Moszkowski, B., "A Temporal Logic for Multilevel Reasoning about Hardware", IEEE Computer 18(2), lo-19 (1985)Google ScholarGoogle Scholar
  14. 14 Hansen, I. and Leszczylowski, "On Fundamentals of Computer-Aided Design of Firmware", Proc. 13th Annual Microprogramming Workshop, IEEE, 3-12 (1983) Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 Dasgupta, S., "A Model of Clocked Micro-Architectures for Firmware Engineering and Design Automation Applications", Proc. 17th Annual Microprogramming Workshop, IEEE, 298-308 (1984) Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 Backus, J.W., "Can Programming be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs", Comm. ACM 21(8), 613-641 (1978) Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17 Turner, D.A., "Recursion Equations as a Programming Language", in 'Functional Programming and its Applications', D.A. Turner, P. Henderson and J. Darlington (Eds), C.U.P. (1981)Google ScholarGoogle Scholar
  18. 18 Henderson, P., and Morris, J., "A Lazy Evaluator", Proc. 3rd ACM Symposium on Principles of Programming Languages, 95-103 (1976) Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19 Morison, J.D., Peeling, N.E., and Thorp, T.L., "ELLA: A Hardware Description Language", Proc. IEEE Int. Conf. Circuits and Computers, 604-607 (1982)Google ScholarGoogle Scholar
  20. 20 Treleaven, P.C., Brownbridge, D.R. and Hoskins, R.P., "Data-Driven and Demand-Driven Computer Architectures", ACM Computing Surveys 14(l), 93-143 (1982) Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 21 Charlton, C.C., Jackson, D., and Leng, P.H., "The Generation of Simulator-Based Systems for Microcode Development", Proc. 17th Annual Microprogramming Workshop, IEEE, 114-121 (1984) Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22 Szygenda, S.A. and Thompson, E.W., "Digital Logic Simulation in a Time-Based, Table-Driven Environment. Part 1: Design Verification", IEEE Computer, March 1975, 24-36.Google ScholarGoogle Scholar

Index Terms

  1. A functional model of clocked microarchitectures

        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 20, Issue 3
          Sep. 1989
          253 pages
          ISSN:1050-916X
          DOI:10.1145/75395
          Issue’s Table of Contents
          • cover image ACM Conferences
            MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
            August 1989
            253 pages
            ISBN:0897913248
            DOI:10.1145/75362

          Copyright © 1989 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 August 1989

          Check for updates

          Qualifiers

          • article
        • Article Metrics

          • Downloads (Last 12 months)8
          • 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!