'Synchronized Transitions' on multiprocessors

Synchronized Transitions, a language for describing digital hardware as concurrent programs, and its implementation on multiprocessors is presented. Synchronized Transitions provides a paradigm in which each operation (circuit element) is described as a separate process; these processes can interact synchronously or asynchronously. Programs can be compiled and executed on uniprocessor or multiprocessor computers, providing a convenient facility for simulating designs and experimenting with the programming paradigms of Synchronized Transitions. The program exhibit extensive parallelism. A partitioning technique utilizes this parallelism on stock multiprocessors.<>