Formal design of an asynchronous DSP counterflow pipeline : a case study in handshake algebra

M.B. Josephs; P. Lucassen; J.T. Udding; T. Verhoeff

Formal design of an asynchronous DSP counterflow pipeline : a case study in handshake algebra

M.B. Josephs, P. Lucassen, J.T. Udding, T. Verhoeff

Algorithms, Geometry and Applications

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

Original language	English
Title of host publication	Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994)
Pages	206-215
Publication status	Published - 1994

Cite this

@inproceedings{d9c06192ad43482db13a1ebbb08a1ab5,

title = "Formal design of an asynchronous DSP counterflow pipeline : a case study in handshake algebra",

author = "M.B. Josephs and P. Lucassen and J.T. Udding and T. Verhoeff",

year = "1994",

language = "English",

pages = "206--215",

booktitle = "Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994)",

}

Formal design of an asynchronous DSP counterflow pipeline : a case study in handshake algebra. / Josephs, M.B.; Lucassen, P.; Udding, J.T. et al.

Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994). 1994. p. 206-215.

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

TY - GEN

T1 - Formal design of an asynchronous DSP counterflow pipeline : a case study in handshake algebra

AU - Josephs, M.B.

AU - Lucassen, P.

AU - Udding, J.T.

AU - Verhoeff, T.

PY - 1994

Y1 - 1994

M3 - Conference contribution

SP - 206

EP - 215

BT - Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994)

ER -