Abstract

Traced monoidal categories of circuits are introduced in order to give a compositional account of circuits. Behaviour functors of circuits are dened, and compositionality results are obtained in terms of the structure-preserving properties of these functors. The theory includes models of the asynchronous binary circuits constructed from instantaneous functional circuits and upbounded inertial binary delays, as well as asynchronous pulse circuits such as pipelines. Via the notion of a circuit network, an explicit connection is made with the General Multiple-Winner circuit model.

Citations