EXOR decomposition with fixed variables and its application to multiple-output networks

This paper presents an EXOR decomposition with fixed variable sets, which is an attempt to decompose an n-variable logic function f into two (n-1)-variable subfunctions g₀ and g₁ by using exclusive-or (EXOR) operation. We present the conditions and formulas for the decomposition. We also consider the subfunction-sharing method for multiple-output networks as an application of the EXOR decomposition. Experimental results show that the area of networks is often reduced effectively by sharing the subfunctions obtained by the decomposition