Disjunctive Decomposition of Switching Functions Using Symmetry Information

In this paper, we investigate when a balanced function can be a derivative of a bent function. We prove that every nonconstant affine function in an even number of variables n is a derivative of $(2^{n-1}-1)$$\mid {\mathcal{B}}_{n-2}{\mid }^2$ bent functions, where ${\mathcal{B}}_n$ is the set ...

In this age of portable electronic systems, the problem of logic synthesis for low power has acquired great importance. The most popular approach has been to target the widely-accepted two-phase paradigm of technology-independent optimization and ...

A theory has been developed to identify simple disjunctive decomposition of balanced Boolean functions through the Walsh spectrum of such functions. Many common logic circuits such as adders, parity checkers and multiplexers are balanced Boolean ...