Compositional Control-Driven Boolean Circuits

Arellanes, Damian (2026) Compositional Control-Driven Boolean Circuits. In: 22nd International Conference on Relational and Algebraic Methods in Computer Science : RAMICS 2026. Springer, Cham, pp. 20-40. ISBN 9783032224682

Text (Compositional-Control-Driven-Boolean-Circuits)
Compositional-Control-Driven-Boolean-Circuits.pdf - Accepted Version
Restricted to Repository staff only until 2 April 2027.
Available under License Unspecified.
Download (618kB)

Abstract

Boolean circuits abstract away from physical details to focus on the logical structure and computational behaviour of digital components. Although such circuits have been studied for many decades, compositionality has been widely ignored or examined in an informal manner, which is a property for combining circuits without delving into their internal structure, while supporting modularity and formal reasoning. In this paper, we address this longstanding theoretical gap by proposing colimit-based operators for compositional circuit construction. We define separate operators for forming sequential, parallel, branching and iterative circuits. As composites encapsulate explicit control flow, a new model of computation emerges which we refer to as (families of) control-driven Boolean circuits. We show how this model is at least as powerful as its classical counterpart. In other words, it is able to non-uniformly compute any Boolean function on inputs of arbitrary length.