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)