The Formal Specification of a Microprocessor Instruction Set

Technical report

Bowen, JP (1987). The Formal Specification of a Microprocessor Instruction Set. Oxford, UK Oxford University Computing Laboratory.
AuthorsBowen, JP
TypeTechnical report
Abstract

The specification language Z is used to define a microprocessor based system in a formal notation. The Motorola 6800 8-bit microprocessor is chosen as an example. Its simplicity allows the entire instruction set to be covered. Memory configuration and interrupts are also included. The use of a formal description language allows the possibility of verification of the instruction set. Additionally the use of Z combined with informal text is sufficiently readable for the specification to be used for documentation purposes.

KeywordsComputer science; Computer engineering; Instruction set; Microprocessor; Formal methods; Formal specification; Z notation
Year1987
PublisherOxford University Computing Laboratory
Place of publicationOxford, UK
Web address (URL)http://www.cs.ox.ac.uk/publications/publication3840-abstract.html
Publication dates
Print01 Jan 1987
Publication process dates
Deposited15 Mar 2018
Accepted01 Jan 1987
Book titleThe Formal Specification of a Microprocessor Instruction Set
Accepted author manuscript
License
Permalink -

https://openresearch.lsbu.ac.uk/item/87v65

Download files

  • 45
    total views
  • 72
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as