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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the (First) International Symposium on Advanced Research in Asynchronous Circuits and Systems (Salt Lake City UT, USA, November 3-5, 1994)
Publication statusPublished - 1994

Cite this