In logic circuits, the number of fanouts a gate can drive is limited, and such limits are tighter
in emerging technologies such as superconducting electronic circuits. Moreover, some such
technologies, eg, adiabatic quantum-flux-parametron (AQFP), pose additional constraints
such as the need for balanced input-to-output paths to ensure proper signal propagation. In
this work, targeting emerging technologies, we study the problem of resynthesizing a logic
network with bounded-fanout gates while minimizing area for a given depth. Namely, we 1) …

In logic circuits, the number of fanouts a gate can drive is limited, and such limits are tighter
in emerging technologies such as superconducting electronic circuits. In this work, we study
the problem of resynthesizing a logic network with bounded-fanout gates while minimizing
area. We 1) formulate this problem for a fixed target logic depth as an integer linear program
(ILP) and present exact solutions for small logic networks, and 2) propose a top-down
approach to construct a feasible solution to the ILP which yields an efficient algorithm for …