Affiliation:
1. The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
Abstract
Objectives. Methods, algorithms and programs for solving problems of minimizing the DNF representations of Boolean functions are widely used in the design of digital systems to reduce the complexity (crystal area) of functional combinational blocks of digital systems placed into digital VLSI.The objective of the work is experimental comparison of domestic programs for minimizing Boolean functions in the DNF class included in the FLC-2 with two well-known foreign freely distributed programs for minimizing DNF known as Espresso IIC and ABC.Methods. Four sets sample of input data were used to compare the programs – there are widely known examples on which the effectiveness of the Espresso IIC program was tested and two sets of industrial examples from the practice of designing the logic circuits. Algorithms and programs for parallelization of calculations when separate functions of minimizing have been developed. Software tools for the application of joint minimization programs with separate minimization of functions are proposed.Results. The areas of preferred use and the execution time of programs for the source systems of functions (for minimization) characterized by large parameter values of dozens of arguments and functions, tens of thousands of elementary conjunctions are revealed. The efficiency of application of minimization programs for various forms of input data assignment is investigated – DNF, orthogonalized DNF, BDD (Binary Decision Diagrams) representations for systems of functions, truth tables and perfect DNF systems.Conclusion. The experimental results show the effectiveness of parallel programs – reducing the calculation time and increasing the dimensions of solved problems of separate minimization of Boolean function systems.
Publisher
United Institute of Informatics Problems of the National Academy of Sciences of Belarus
Subject
General Earth and Planetary Sciences,General Environmental Science
Reference47 articles.
1. Quine W. V. The problem of simplifying of truth functions. The American Mathematical Monthly, 1952, vol. 59, no. 8, pp. 521–531.
2. McCluskey E. J. Minimization of Boolean functions. The Bell System Technical Journal, 1956, vol. 35, no. 6, pp. 1417–1444.
3. Zakrevskij A. D., Toropov N. R., Romanov V. I. DNF-implementation of partial Boolean functions of many variables. Informatika [Informatics], 2010, no. 1(25), pp. 102–111 (In Russ.).
4. Sapozhenko A. A., CHuhrov I. P. Minimization of Boolean functions in the class of disjunctive normal forms. Itogi nauki i tekhniki. Teoriya veroyatnostej. Matematicheskaya statistika. Teoreticheskaya kibernetika, [Results of Science and Technology. Probability Theory. Mathematical Statistics. Theoretical Cybernetics], 1987, vol. 25, pp. 68–116 (In Russ.).
5. Brayton R. K., Hachtel G. D., Sangiovanni-Vincentelli A. L. Synthesis of multi-level combinational logic circuits. Trudy Institute inzhenerov po jelektronike i radiotehnike [Proceedings of the Institute of Electronics and Radio Engineering], 1990, vol. 78, no. 2, рр. 38–83 (In Russ.).