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)