skip to main content
article
Free Access

Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project)

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

Abstract

Operational specification is a method of documenting specifications for systems which separates the implementation details from the problem requirements details. Operational specification permits simulation of the specification enabling the specification creator to test the specification to see how well it satisfies prescribed functional requirements. The line between specification and description when applied to computer architecture design is rather thin in my opinion and the experience of this author indicates that a particular specification tool known as PAISLey (described in more detail below) can serve as a suitable hardware description tool.

References

  1. {Bell-Newell, 1971} Bell, C. and A. Newell, "Computer Structures: Readings and Examples", NY, McGraw-Hill, 1971.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. {Dasgupta, 1984} Dasgupta, S. "The Design and Description of Computer Architectures", NY, John Wiley, 1984]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. {Dasgupta, 1988} Dasgupta, S. Computer Architecture", NY, John Wiley, 1988.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. {Habib, S}, Habib, S (Ed), "Microprogramming and Firmware Engineering Methods", NY, Van Nostrand Reinhold, 1988.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. {Hill-Peterson, 1982} Hill, F. and Peterson, "Digital Systems: Hardware Organization and Design, NY, John Wiley, 1982]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. {Zave, 1982} Zave, P. "An Operational Approach to Requirements Specification for Embedded Systems", IEEE Transactions on Software Engineering SE-8, May 1982.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. {Zave, 1983} Zave, P. "Operational Specification Languages", ACM Annual Conference, NY, October, 1983]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. {Zave, 1984} Zave, P. "The Operational Versus the Conventional Approach to Software Development", CACM 27, February, 1984.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

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 2
    June 1989
    28 pages
    ISSN:1050-916X
    DOI:10.1145/71539
    Issue’s Table of Contents

    Copyright © 1989 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 June 1989

    Check for updates

    Qualifiers

    • article
  • Article Metrics

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