Decomposing a System of Boolean Functions into Subsystems of Connected Functions
- Autores: Bibilo P.1
-
Afiliações:
- United Institute of Informatics Problems, National Academy of Sciences of Belarus
- Edição: Volume 58, Nº 2 (2019)
- Páginas: 167-182
- Seção: Computer Methods
- URL: https://journals.rcsi.science/1064-2307/article/view/220313
- DOI: https://doi.org/10.1134/S1064230719020059
- ID: 220313
Citar
Resumo
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.
Sobre autores
P. Bibilo
United Institute of Informatics Problems, National Academy of Sciences of Belarus
Autor responsável pela correspondência
Email: bibilo@newman.bas-net.by
Belarus, Minsk
![](/img/style/loading.gif)