Title :
Occam as a hardware description language
Author :
Collis, G.V. ; Kappos, E.J.
Author_Institution :
University of Manchester Institute of Science & Technology, Department of Computation, Manchester, UK
fDate :
11/1/1987 12:00:00 AM
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.
Keywords :
high level languages; parallel programming; specification languages; CSP-based concurrent programming language; Occam; abstraction; hardware description language; instruction set processor; transputer networks;
Journal_Title :
Software Engineering Journal
DOI :
10.1049/sej.1987.0028
