Simulating hardware structures in occam

Abstract

Occam is a low-level programming language designed specifically to program an array of transputers, although it may be implemented on a single transputer or other processor using a suitable run-time support system. The paper describes the use of occam to model combinatorial and sequential logic systems. The suitability of occam for such modelling is discussed