Scholarlink

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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

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

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Alessandro Versari,
  • Marco Cococcioni

摘要

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.