Specification and simulation of microprocessor operations and parallel instructions

L.M.G. Feijs, P. Gorissen, J. Trescher

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

Abstract

In this paper, we report on the development of a language which is especially tailored to the specification and simulation of microprocessor operations and parallel instructions. The approach is rigorous, and it combines the naturalness and readability of the traditional pseudocode with the formality and rigour of instruction specifications in the programming language C (but without the disadvantages of the latter). The underlying semantic model has been formalized by the equations of an appropriate denotational semantic model. The specifications can be used for a variety of purposes, such as the generation of a data book and other on-line documentation, the generation of a simulator that allows functional testing of programs even before the hardware has been designed and implemented, and the generation of a test suite to perform functional tests of a given design or real chip.
Original languageEnglish
Title of host publicationProceedings Euromicro Symposium on Digital System Design: Architectures, Methods, and Tools (DSD'02, Dortmund, Germany, September 4-6, 2002)
EditorsM. Edwards
Place of PublicationLos Alamitos CA
PublisherIEEE Computer Society
Pages110-117
ISBN (Print)0-7695-1790-0
DOIs
Publication statusPublished - 2002

Fingerprint

Dive into the research topics of 'Specification and simulation of microprocessor operations and parallel instructions'. Together they form a unique fingerprint.

Cite this