DocumentCode
1216477
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
Volume
2
Issue
6
fYear
1987
fDate
11/1/1987 12:00:00 AM
Firstpage
213
Lastpage
219
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
DOI
10.1049/sej.1987.0028
Filename
4807910
Link To Document