Occam as a hardware description language

Abstract
Occam is a CSP-based concurrent programming language for programming transputer networks. This paper examines the suitability of occam as specified in the original definition of the language and the OPS-2.1 implementation for describing hardware systems. Behavioural and structural descriptions of a typical instruction set processor at different levels of abstraction are presented as a design example.

This publication has 2 references indexed in Scilit: