Conference paper

Linear and Non-linear Decomposition of Index Generation Functions

T. Mazurkiewicz (Military Univ. of Techn., Poland), T. Łuba (Warsaw School of Computer Science, Poland)

Minimization of index generation functions attracts increasing interest lately. Methods proposed in the literature focus mainly on linear decomposition using XOR gates. In this paper we propose an algorithm using discernibility sets. We prove that it minimize standard benchmark functions as efficiently as the best-known algorithms. However, linear transformations seem to be insufficient for some functions. Therefore, we propose a novel approach to the minimization of index generation functions that uses non-linear transformations, i.e. AND gates. We provide examples showing that this technique can further reduce the number of input variables.

Download one page abstract

Receipt of papers:

March 13th, 2020

Notification of acceptance:

May 18th, 2020

Registration opening:

May 20th, 2020

Final paper versions:

June 5th, 2020