Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff. Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994. pages 206-215, IEEE, 1994. [doi]
Abstract is missing.