Occam: An asynchronous hardware description language?

G. K. Theodoropoulos; G. K. Tsakogiannis; J. V. Woods

Occam: An asynchronous hardware description language?

G. K. Theodoropoulos^*, G. K. Tsakogiannis, J. V. Woods

^*Corresponding author for this work

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

Recently, there has been resurgence of interest in asynchronous hardware due to the potential of asynchronous logic for higher performance, power efficiency and immunity from clock-related timing problems. This activity has revealed the current lack of suitable languages and notations for the description of asynchronous hardware systems and has fueled an intense research effort in this area. Communicating Sequential Processes (CSP) in particular, has attracted the interest of many researchers as a potential means for the modelling of asynchronous designs. Contributing to this effort, this paper examines whether Occam, a CSP-based language may provide a solution to this endeavour.

Original language	English
Title of host publication	Proceedings of the EUROMICRO Conference
Publisher	IEEE
Pages	249-256
Number of pages	8
Publication status	Published - 1997
Event	Proceedings of the 1997 23rd EUROMICRO Conference - Budapest, Hungary Duration: 1 Sept 1997 → 4 Sept 1997

Conference

Conference	Proceedings of the 1997 23rd EUROMICRO Conference
Country/Territory	Hungary
City	Budapest
Period	1/09/97 → 4/09/97

Cite this

@inproceedings{bee24abda9834bef9891cc726d010f76,

title = "Occam: An asynchronous hardware description language?",

abstract = "Recently, there has been resurgence of interest in asynchronous hardware due to the potential of asynchronous logic for higher performance, power efficiency and immunity from clock-related timing problems. This activity has revealed the current lack of suitable languages and notations for the description of asynchronous hardware systems and has fueled an intense research effort in this area. Communicating Sequential Processes (CSP) in particular, has attracted the interest of many researchers as a potential means for the modelling of asynchronous designs. Contributing to this effort, this paper examines whether Occam, a CSP-based language may provide a solution to this endeavour.",

author = "Theodoropoulos, {G. K.} and Tsakogiannis, {G. K.} and Woods, {J. V.}",

year = "1997",

language = "English",

pages = "249--256",

booktitle = "Proceedings of the EUROMICRO Conference",

publisher = "IEEE",

address = "United States",

note = "Proceedings of the 1997 23rd EUROMICRO Conference ; Conference date: 01-09-1997 Through 04-09-1997",

}

TY - GEN

T1 - Occam

T2 - Proceedings of the 1997 23rd EUROMICRO Conference

AU - Theodoropoulos, G. K.

AU - Tsakogiannis, G. K.

AU - Woods, J. V.

PY - 1997

Y1 - 1997

N2 - Recently, there has been resurgence of interest in asynchronous hardware due to the potential of asynchronous logic for higher performance, power efficiency and immunity from clock-related timing problems. This activity has revealed the current lack of suitable languages and notations for the description of asynchronous hardware systems and has fueled an intense research effort in this area. Communicating Sequential Processes (CSP) in particular, has attracted the interest of many researchers as a potential means for the modelling of asynchronous designs. Contributing to this effort, this paper examines whether Occam, a CSP-based language may provide a solution to this endeavour.

AB - Recently, there has been resurgence of interest in asynchronous hardware due to the potential of asynchronous logic for higher performance, power efficiency and immunity from clock-related timing problems. This activity has revealed the current lack of suitable languages and notations for the description of asynchronous hardware systems and has fueled an intense research effort in this area. Communicating Sequential Processes (CSP) in particular, has attracted the interest of many researchers as a potential means for the modelling of asynchronous designs. Contributing to this effort, this paper examines whether Occam, a CSP-based language may provide a solution to this endeavour.

UR - http://www.scopus.com/inward/record.url?scp=0030692970&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030692970

SP - 249

EP - 256

BT - Proceedings of the EUROMICRO Conference

PB - IEEE

Y2 - 1 September 1997 through 4 September 1997

ER -

Occam: An asynchronous hardware description language?

Abstract

Conference

Other files and links

Fingerprint

Cite this