Published May 1996
| Published
Journal Article
Open
Specifying the Caltech asynchronous microprocessor
- Creators
- Back, R. J. R.
- Martin, A. J.
- Sere, K.
Chicago
An error occurred while generating the citation.
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 | Download all |
|---|---|---|
|
md5:365f0bb2f23a31549113b77690974bf5
|
637.8 kB | Preview Download |
Additional details
- Eprint ID
- 76460
- Resolver ID
- CaltechAUTHORS:20170409-083932724
- Academy of Finland
- Created
-
2017-04-18Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field