Experimental comparison of decomposition methods for systems of Boolean function
- Authors: Avdeev N.A.1, Bibilo P.N.1
-
Affiliations:
- United Institute of Computer Science Problems
- Issue: Vol 55, No 2 (2016)
- Pages: 189-210
- Section: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/219575
- DOI: https://doi.org/10.1134/S1064230716010044
- ID: 219575
Cite item
Abstract
In this paper, we describe the results of the experimental comparison of programs that implement various decomposition methods for disjunctive normal forms of systems of completely defined Boolean functions. The complexity of a system of disjunctive normal forms is expressed in two ways: by the area of a programmable logic array that implements a system of disjunctive normal forms, or by the number of vertices of a binary decision diagram, which represents a system of Boolean functions. The complexity of the functional expansion of a system’s functions is determined as the sum of the complexities of the subsystem of the functions included in this expansion. The estimates of the complexity are oriented on the synthesis of combinational circuits based on the programmed logical arrays and the library’s logical elements.
About the authors
N. A. Avdeev
United Institute of Computer Science Problems
Email: bibilo@newman.bas-net.by
Belarus, ul. Surganova 6, Minsk, 220012
P. N. Bibilo
United Institute of Computer Science Problems
Author for correspondence.
Email: bibilo@newman.bas-net.by
Belarus, ul. Surganova 6, Minsk, 220012