CaltechAUTHORS
Published May 1996 | Version Published
Journal Article Open

Specifying the Caltech asynchronous microprocessor

Creators

  • 1. ROR icon Åbo Akademi University
  • 2. ROR icon California Institute of Technology
  • 3. ROR icon University of Eastern Finland

Abstract

The action systems framework for modelling parallel programs is used to formally specify a microprocessor. First the microprocessor is specified as a sequential program. The sequential specification is then decomposed and refined into a concurrent program using correctness-preserving program transformations. Previously this microprocessor has been specified at Caltech, where an asynchronous circuit for the microprocessor was derived from the specification. We propose a specification strategy that is based on the idea of spatial decomposition of the program variable space.

Additional Information

© 1996 Elsevier B.V. Back and Sere partially supported by the Academy of Finland.

Attached Files

Published - 1-s2.0-0167642395000232-main.pdf

Files

1-s2.0-0167642395000232-main.pdf

Files (637.8 kB)

Name Size
md5:365f0bb2f23a31549113b77690974bf5
637.8 kB Preview Download

Additional details

Identifiers

Eprint ID
76460
Resolver ID
CaltechAUTHORS:20170409-083932724

Funding

Academy of Finland

Dates

Created
2017-04-18
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field