Decomposing a System of Boolean Functions into Subsystems of Connected Functions
- 作者: Bibilo P.1
-
隶属关系:
- United Institute of Informatics Problems, National Academy of Sciences of Belarus
- 期: 卷 58, 编号 2 (2019)
- 页面: 167-182
- 栏目: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/220313
- DOI: https://doi.org/10.1134/S1064230719020059
- ID: 220313
如何引用文章
详细
This paper suggests some algorithms for decomposing a system of Boolean functions into subsystems of connected functions for representations such as truth tables (TTs), systems of disjunctive normal forms (DNFs), and binary decision diagrams (BDDs). The connectivity of functions consists of the presence of identical parts in the domains of functions from a given system. The algorithms are heuristic and can be used in computer-aided synthesis systems for real-dimension problems with several hundred functions, each having several tens of arguments. The experiments described below prove the efficiency of this decomposition approach in the logic optimization of a system of Boolean functions based on Shannon’s decomposition with the possible use of subfunction inversions.
作者简介
P. Bibilo
United Institute of Informatics Problems, National Academy of Sciences of Belarus
编辑信件的主要联系方式.
Email: bibilo@newman.bas-net.by
白俄罗斯, Minsk
![](/img/style/loading.gif)