Design and verification of a highly concurrent machine

Peter Barrie, Paul Cockshott, George J. Milne, Paul Shaw

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


SPACE is introduced as a new type of computer architecture, capable of very fast simulation of highly concurrent systems. The machine is designed to be scalable, constructed from a vast array of boards. The decisions made in the design of the board are discussed, and the actual hardware (based on an array of field programmable gate array chips) is described. It is shown that SPACE can be programmed by translating a subset of the language Occam into asynchronous digital logic circuits. The handshake protocol used in these circuits is described and examples are given of circuit components which implement Occam operators. Finally, the method by which these circuit components are formally verified using the Circal process algebra is presented.

Original languageEnglish
Pages (from-to)115-123
Number of pages9
JournalMicroprocessors and Microsystems
Issue number3
Publication statusPublished - 1 Jan 1992
Externally publishedYes


Dive into the research topics of 'Design and verification of a highly concurrent machine'. Together they form a unique fingerprint.

Cite this