Experimental comparison of decomposition methods for systems of Boolean function
- Авторы: Avdeev N.1, Bibilo P.1
-
Учреждения:
- United Institute of Computer Science Problems
- Выпуск: Том 55, № 2 (2016)
- Страницы: 189-210
- Раздел: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/219575
- DOI: https://doi.org/10.1134/S1064230716010044
- ID: 219575
Цитировать
Аннотация
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.
Об авторах
N. Avdeev
United Institute of Computer Science Problems
Email: bibilo@newman.bas-net.by
Белоруссия, ul. Surganova 6, Minsk, 220012
P. Bibilo
United Institute of Computer Science Problems
Автор, ответственный за переписку.
Email: bibilo@newman.bas-net.by
Белоруссия, ul. Surganova 6, Minsk, 220012
![](/img/style/loading.gif)