Minimization of binary decision diagrams for systems of incompletely defined Boolean functions

  • Authors:
  • P. N. Bibilo

  • Affiliations:
  • Joint Institute of Informatics Problems, National Academy of Sciences, Minsk, Belarus 220012

  • Venue:
  • Journal of Computer and Systems Sciences International
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

Algorithms for minimizing multilevel representations of systems of incompletely defined Boolean functions for various initial functional forms are proposed. The multilevel representations are based on the Shannon decomposition. Results of experimental studies indicate that the proposed algorithms are efficient for synthesizing logic circuits of library elements.