skip to main content
article
Free Access

On fundamentals of computer-aided design of firmware

Published:30 November 1980Publication History
Skip Abstract Section

Abstract

A real-time model of microprogrammed hardware is described. It is used for firmware classification and for stating the conditions under which an equivalent discrete-time model can be introduced. We also give a brief description of a computer-aided firmware design system, which was based on these models.

References

  1. 1 T.Agrawala, "Microprogram optimisation: a survey", IEEE tr. on Comp., 1976/10Google ScholarGoogle Scholar
  2. 2 P.W.Alfvin, "A formal definition of AMDL", ISI Univ.of South.Cal., 1979/10Google ScholarGoogle Scholar
  3. 3 M.R.Barbacci, "The ISPS Computer Description Language", Dept.of Comp.Sc., Carnegie-Mellon Univ., 1978Google ScholarGoogle Scholar
  4. 4 H.Berndt, "CHDL versus HMPL: Computer Hardware Description Language developments and Higher Microprogramming Language designs", Workshop on Computer Hardware Description Languages, Darmstadt, 31 VII - 2 VIII 1974Google ScholarGoogle Scholar
  5. 5 Bogo, Guyot, Lux, Mermet, Payan, "CASSANDRE and the Computer Aided Logical Systems Design", proc. of IFIP Congress 1971Google ScholarGoogle Scholar
  6. 6 W.C.Carter, W.H.Joyner, D.Brand, "Microprogram verification considered necessary", Research Report, IBM T. J. Watson Research CenterGoogle ScholarGoogle Scholar
  7. 7 Y.Chu, "Computer organisation and microprogramming", Prentice Hall, 1972Google ScholarGoogle Scholar
  8. 8 Y.Chu, "Introducing CDL", IEEE tr. on Comp., 1974/12Google ScholarGoogle Scholar
  9. 9 S.Crocker, "A formalism for representing segments of computation", PhD Thesis, Comp.Sc.Dept., UCLA 1977 Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10 P.Dembinski, S. Budkowski, I.Hansen, J.Leszczylowski, A.Paplinski, "Verification-oriented microprogramming language", ICS PAS Report 293, Warsaw 1977Google ScholarGoogle Scholar
  11. 11 I.Hansen, "A formal method for firmware modelling and analysis", PhD Thesis, Comp. Sc. Dept., Warsaw Technical University, 1978Google ScholarGoogle Scholar
  12. 12 I.Hansen,J.Leszczylowski, "Microprogram-oriented model of the control structure", Proc. of Int. Symp. on Math. Foundations of Computer Science, Gdansk, Lect. Notes in Comp. Sc. Springer-Verlag 1976Google ScholarGoogle Scholar
  13. 13 I.Hansen, J.Leszczylowski, "MIDAS: real and discrete-time firmware design", Univ. of Edinburgh Internal Report (to appear)Google ScholarGoogle Scholar
  14. 14 IEEE tr. on Comp., spec. issue on microprogr.Google ScholarGoogle Scholar
  15. 15 W. H. Joyner, W.C.Carter, G.B.Leeman, "Automated proofs of microprogram correctness", Proc. of 9-th Microprogramming Workshop, 1976 Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 D.A.Patterson, "STRUM: Structured Microprogramming System for Correct Firmware", IEEE tr. on Comp., 1976/10Google ScholarGoogle Scholar
  17. 17 L.Smith, "The Elementary Structural Description Language", Univ. of Edinburgh Int. Report, 1980Google ScholarGoogle Scholar
  18. 18 G.Wood, "Global optimisation of microprograms", Proc. of MICRO 12, 18-21 XI 1979, Hershey, Penn. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. On fundamentals of computer-aided design of firmware

            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 11, Issue 3-4
              Dec. 1980
              177 pages
              ISSN:1050-916X
              DOI:10.1145/1014190
              Issue’s Table of Contents

              Copyright © 1980 Authors

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 30 November 1980

              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!