Premium
Multi‐output, multi‐level, multi‐gate design using non‐linear programming
Author(s) -
Dimopoulos A. C.,
Pavlatos C.,
Papakonstantinou G.
Publication year - 2022
Publication title -
international journal of circuit theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.364
H-Index - 52
eISSN - 1097-007X
pISSN - 0098-9886
DOI - 10.1002/cta.3300
Subject(s) - nand gate , logic gate , nor logic , computer science , set (abstract data type) , and or invert , nand logic , or gate , minification , boolean function , algorithm , nor gate , logic synthesis , circuit minimization for boolean functions , mathematics , logic optimization , and gate , boolean circuit , mathematical optimization , programming language
Summary The conventional methodology of logic circuits design is by using logic gates. Thus, most of the minimization algorithms concern a limited set of gates (complete sets), like sum of products, exclusive‐or sum of products, NAND gates, NOR gates, and so forth. In this paper, a method is proposed for minimizing multi‐output Boolean functions using any kind of two‐input gates although it can easily be extended to multi‐input gates. The method is based on non‐linear mixed integer programming. Our methodology was tested against others proposed in the literature showing that it can achieve the same or better results in all cases. The contribution of this work can be summarized in the following: (i) it is the only approach to guarantee minimality to the problem of multi‐output, multi‐level, multi‐gate design, (ii) it is general and flexible and can solve design problems with any predefined gates and gate topology, (iii) it is a novel approach which may be adopted easily to solve other kinds of logic design problems, and (iv) incompletely specified Boolean functions are accepted, in contrary to other methods.