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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994)
Pagina's	206-215
Status	Gepubliceerd - 1994

Citeer dit

@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. blz. 206-215.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -