Advertisement

A specification of the intel 8085 microprocessor: A case study

  • Alfons Geser
Part III Rapid Prototyping With Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)

Abstract

As an instance for a large specification, an algebraic specification of the intel 8085 micro-processor is given. The specification is based on the concepts of hierarchical abstract types and conditional equations. With the help of the specification interpreter RAP, the specification is validated against some of its informal requirements. In the design of large software systems, a number of informal specification properties have to be considered such as style, readability, and structuredness of a specification. These properties are talked about using a couple of small examples.

Keywords

Machine Instruction Abstract Data Type Algebraic Specification Specification Interpreter Conditional Jump 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Berghammer et al. 86]
    R. Berghammer, H. Ehler, H. Zierer: Towards an algebraic specification of code generation. Report TUM-I8707, Technische Universität München, June 1987.Google Scholar
  2. [Bergstra et al. 85]
    J. A. Bergstra, J. Heering, P. Klint: Algebraic Definition of a Simple Programming Language. Report CS-R8504, CWI, Amsterdam, Feb. 1985.Google Scholar
  3. [Broy 84]
    M. Broy: Specification and Top Down Design of Distributed Systems. Report MIP-8401, Universität Passau, Dec. 1984, MET. METEOR working paperGoogle Scholar
  4. [Broy 88]
    M. Broy: An Example for the Design of Distributed Systems in a Formal Setting: The Life Problem. Report MIP-8802, Universität Passau, Feb. 1988Google Scholar
  5. [CIP 87]
    A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper: The Munich Project CIP, Vol. II: The Program Transformation System CIP-S, Part I: Formal Specification. Lecture Notes in Computer Science 292, 1987.Google Scholar
  6. [Feijs et al. 88]
    L. M. G. Feijs, H. B. M. Jonkers, C. P. J. Koymans, G. R. Renardel de Lavalette: Formal Definition of the Design Language COLD-K. Technical Report, Philips Research Labs., Eindhoven, 1988, MET. METEOR working paperGoogle Scholar
  7. [Gelissen 88]
    J. H. A. Gelissen: Rapid Prototyping of COLD Specifications using RAP. Technical Report, Philips Research Labs., Eindhoven, April 1988, MET. METEOR working paperGoogle Scholar
  8. [Geser 86]
    A. Geser: A Specification of the intel 8085 Microprocessor: A Case Study. Report MIP-8608, Universität Passau, May 1986, MET. METEOR working paperGoogle Scholar
  9. [Geser, Hußmann 85]
    A. Geser, H. Hußmann: Rapid Prototyping for Algebraic Specifications — Examples for the Use of the RAP System. Report MIP-8517, Universität Passau, Dec. 1985, MET. METEOR working paper Updated version to appear.Google Scholar
  10. [Geser, Hußmann 86]
    A. Geser, H. Hußmann: Experiences with the RAP system — A Specification Interpreter combining Term Rewriting and Resolution. In: Proc. ESOP 86 Conf., March 1986, LNCS Lecture Notes in Computer Science 213, also as MET. METEOR working paperGoogle Scholar
  11. [Geser et al. 87]
    A. Geser, H. Hußmann: A Compiler for a Class of Conditional Rewrite Systems. In: Proc. 1st Workshop on Conditional Rewriting, June 1987, LNCS Lecture Notes in Computer Science 308, pp. 84–90.Google Scholar
  12. [Hoare 83]
    C. A. R. Hoare: Notes on Communicating Sequential Processes. Technical Monograph PRG-33, Oxford, Aug. 1983.Google Scholar
  13. [Huet, Oppen 80]
    G. Huet, D. C. Oppen: Equations and Rewrite Rules — A Survey. In: R. V. Book (ed.): Formal Language Theory — Perspectives and Open Problems. Academic Press, 1980.Google Scholar
  14. [Hullot 80]
    J. M. Hullot: Canonical Forms and Unification. Proc. 5th CADE Conf., LNCS Lecture Notes in Computer Science 87, pp. 318–334, 1980.Google Scholar
  15. [Hußmann 85a]
    H. Hußmann: Unification in Conditional-Equational Theories. Report MIP-8502, Universität Passau, Passau 1985. Short version also in: Proc. EUROCAL 85 Conf., Vol. 2, LNCS 204, pp. 543–553, April 1985.Google Scholar
  16. [Hußmann 85b]
    H. Hußmann: Rapid Prototyping for Algebraic Specifications — RAP System User's Manual (Second Edition). Report MIP-8504, Universität Passau, Feb. 1987.Google Scholar
  17. [Hußmann, Geser 88]
    H. Hußmann, A. Geser: The RAP system as a tool for testing COLD specifications. In this volume.Google Scholar
  18. [Hußmann, Rank 88]
    H. Hußmann, C. Rank: Specification and Prototyping of a Compiler for a Small Applicative Language. In this volume.Google Scholar
  19. [intel 79]
    Intel Corporation: 8080/8085 Assembly Language Programming. Santa Clara, 1979.Google Scholar
  20. [intel 83]
    Intel Corporation: The MCS-80/85 Family User's Manual. Santa Clara, 1983.Google Scholar
  21. [Iverson 63]
    K. E. Iverson: Programming in Systems Design. IBM Systems Journal, Vol. 2, June 1963, pp. 117–128.Google Scholar
  22. [Jonkers 88]
    H. B. M. Jonkers: An Introduction to COLD-K. Technical Report, Philips Research Labs., Eindhoven, July 1988.Google Scholar
  23. [Kaplan 87]
    S. Kaplan: A Compiler for Conditional Term Rewriting Systems. Proc. RTA 87 Conf., LNCS 256, pp. 25–41, May 1987.Google Scholar
  24. [Lavazza, Crespi-Reghizzi 87]
    L. Lavazza, S. Crespi-Reghizzi: Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. To appear as MET. METEOR working paperGoogle Scholar
  25. [Padawitz 87]
    P. Padawitz: ECDS — A Rewrite Rule Based Interpreter for a Programming Language with Abstraction and Communication. Report MIP-8703, Universität Passau, Feb. 1987, MET. METEOR working paperGoogle Scholar
  26. [Padawitz 88]
    P. Padawitz: Computing in Horn Clause Theories. EATCS Monographs in Theoretical Computer Science Vol. 16, 1988.Google Scholar
  27. [Sint 80]
    H. J. Sint: A Survey of High Level Microprogramming Languages. Proc. 13th Annual Workshop on Microprogramming, 1980.Google Scholar
  28. [Wirsing et al. 83]
    M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types. Acta Informatica 20, pp. 1–33, 1983.CrossRefGoogle Scholar
  29. [Wirsing 85]
    M. Wirsing: Structured Algebraic Specifications: A Kernel Language. Habilitation Thesis, Technische Universitaet Muenchen, 1983. also as: Report MIP-8511, Universitaet Passau, 1985, MET. METEOR working paper also in Theoretical Computer Science.Google Scholar
  30. [Wirsing 86]
    A. Tarlezki, M. Wirsing: Continuous Abstract Types. In: Proc. MFCS 86, LNCS Lecture Notes in Computer Science 233, 1986, MET. METEOR working paperGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Alfons Geser
    • 1
  1. 1.Fakultät für Mathematik und InformatikUniversität PassauPassau

Personalised recommendations