Flexible Compilation and Refinement of Asynchronous Circuits

Published In

2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)

Document Type

Citation

Publication Date

7-19-2023

Abstract

We present compilation and refinement techniques for translating parallel programs with message passing into asynchronous circuits. Instead of compiling programs directly into circuits using a fixed protocol and circuit family – as is traditionally done – we compile programs into a circuit-neutral model consisting of communication channels with storage, called Links, and storage-free computation modules, called Joints. We refine this model into a gate-level circuit by reducing storage and selecting protocols and circuit families. The final circuits combine 2- and 4-phase protocols and various circuit families. We give two refinement examples. The first refinement safely removes data storage from Links to improve circuit area and power. The second refinement safely splits atomic Joint actions to improve circuit analysis. Both refinements introduce 4-phase protocols for which we give a formal Link-Joint model and circuits in Click, Set-Reset, and GasP. We are implementing this compile then refine approach as a shallow embedding in an open-source design flow.

Rights

2023 IEEE

DOI

10.1109/ASYNC58294.2023.10239623

Persistent Identifier

https://archives.pdx.edu/ds/psu/40799

Publisher

IEEE

Share

COinS