Logic synthesis FPGA — Covering problems with Walsh spectral representation

The objective of multi-level logic synthesis of FPGA is to find the “best” multi-level structure, where “best” in this case means an equivalent presentation that is optimal with respect to various parameters such as size, speed or power consumption... Five basic operations are used in order to reach this goal: decomposition, extraction, factoring, substitution and collapsing. In this paper we propose a novel application of Walsh spectral transformation to the evaluation of Boolean function autocorrelation. In particular, we present an algorithm with approach to solve the problems of covering based on the use of Walsh spectral presentation. The methods, operations in the transform domain has appeared to be more advantageous than traditional approaches, using operations in the Boolean domain, concerning both memory occupation and execution time on some classes of functions.