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.