• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Specifying the Caltech Asynchronous Microprocessor

Ralph-Johan Back, Alain Martin, Kaisa Sere, Specifying the Caltech Asynchronous Microprocessor. 26, 1996.

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 rejned into a concurrent program using
correctnesspreserving
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.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBaMaSe96a,
  title = {Specifying the Caltech Asynchronous Microprocessor},
  author = {Back, Ralph-Johan and Martin, Alain and Sere, Kaisa},
  volume = {26},
  year = {1996},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication