Title :
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra
Author :
Josephs, M.B. ; Lucassen, P.G. ; Udding, J.T. ; Verhoeff, T.
Author_Institution :
Centre for Concurrent Syst., South Bank Univ., London, UK
Abstract :
Two recent developments in asynchronous circuit design are explored by means of a case study (polynomial division) in digital signal processing. The first development is a new formal method, the handshake algebra of M.B. Josephs, J.T. Udding and J.T. Yantchev (1993), that is suitable for specifying, deriving, and verifying circuits that follow a handshaking protocol. The second development is an architecture, counterflow pipelines, that R.F. Sproull (1994) has recently suggested, which is attractive to implement asynchronously
Keywords :
asynchronous circuits; asynchronous DSP counterflow pipeline; asynchronous circuit design; counterflow pipelines; digital signal processing; formal design; handshake algebra; handshaking protocol; Algebra; Asynchronous circuits; Computer aided software engineering; Digital signal processing; Logic; Pipelines; Protocols; Signal design; Throughput; Very large scale integration;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1994., Proceedings of the International Symposium on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-8186-6210-7
DOI :
10.1109/ASYNC.1994.656313
