@inproceedings{847218bfb15d40c292c05bff62cebdfe,
title = "A highly parallel FPGA-based machine and its formal verification",
abstract = "The SPACE machine 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 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 this machine can be programmed by translating a subset of the Occam language into asynchronous modules. Using the Circal process algebra, a new method of formally verifying asynchronous modules for these circuits is presented. This method allows hounded gate delays to be included in a two-level modelling mechanism.",
author = "Paul Shaw and George Milne",
year = "1993",
month = jan,
day = "1",
language = "English",
isbn = "9783540570912",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Berlin",
pages = "162--173",
editor = "Herbert Grunbacher and Hartenstein, {Reiner W.}",
booktitle = "Field-Programmable Gate Arrays",
address = "Germany",
note = "2nd International Workshop on Field-Programmable Logic and Applications, FPL 1992 ; Conference date: 31-08-1992 Through 02-09-1992",
}