an:06512838
Zbl 1325.94173
Bibilo, P. N.
Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
EN
Autom. Remote Control 75, No. 7, 1173-1194 (2014); translation from Avtom. Telemekh. 2014, No. 7, 17-42 (2014).
00335850
2014
j
94C10 94C15
decomposition method; incompletely specified Boolean functions; binary decision diagrams
Summary: We propose a decomposition method for systems of incompletely specified Boolean functions represented as binary decision diagrams. Minimizing the number of intermediate functions in such a decomposition is intended to improve the performance of Boolean circuits made of library elements. A characteristic feature of our method is the fact that after decomposition (cutting) of the original binary decision diagram one of two decomposition units is represented as a system of DNFs.