Formal design of an asynchronous DSP counterflow pipeline: A case study in Handshake Algebra

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

*Corresponding author for this work

    Research output: Contribution to conferencePaperpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Pages206-215
    Number of pages10
    Publication statusPublished (VoR) - 1994
    EventProceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems - Salt Lake City, UT, USA
    Duration: 3 Nov 19945 Nov 1994

    Conference

    ConferenceProceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems
    CitySalt Lake City, UT, USA
    Period3/11/945/11/94

    Fingerprint

    Dive into the research topics of 'Formal design of an asynchronous DSP counterflow pipeline: A case study in Handshake Algebra'. Together they form a unique fingerprint.

    Cite this