S.PROKOPENKO

In this paper, we propose an approach for minimizing path length from primary inputs to primary outputs in digital circuits. A digital circuit is divided into parts and the flexibility for each part is provided by the largest solution to an appropriate FSM equation. We propose sufficient conditions for checking whether one or some output (transfer) functions can be replaced by a simple function of two primary input variables that can be implemented as a single gate. The established conditions become necessary and sufficient conditions for combinational circuits. 1