Optimal Synthesis of Multi-output Boolean Functions Using Modern ILP Solvers

In this work we address the optimal synthesis of multi input-multi output boolean functions. First we show a procedure for generating all the implicants and then the mathematical formulation as a standard Integer Linear Programming (ILP) problem. We have implemented all the routines needed to obtain the ILP problem, in order to be able to subsequently solve it in Matlab using intlinprog. We have done the same using GoLang for generating the implicants and then resorting to IBM CPLEX to solve the ILP problem. We have also introduced a scalable benchmark, to assess its performance against the single-output solution and to measure the average times.