Decomposition of systems of Boolean functions determined by binary decision diagrams

DOI10.1134/S1064230711030051zbMATH Open1320.94115MaRDI QIDQ353738FDOQ353738

Authors: P. N. Bibilo, P. V. Leonczyk 

Publication date: 16 July 2013

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Recommendations

• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
• Decomposing a system of Boolean functions into subsystems of connected functions
• Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements
• Decomposition of Boolean functions
• A decomposition of Boolean functions
• The Decomposition Tree for analyses of Boolean functions
• Decomposition of multi-output Boolean functions
• Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
• Experimental comparison of decomposition methods for systems of Boolean function

Mathematics Subject Classification ID

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Title not available (Why is that?)
• Binary Decision Diagrams
• Functional decomposition with application to FPGA synthesis
• Dedicated spectral method of Boolean function decomposition
• Title not available (Why is that?)

Cited In (19)

• Title not available (Why is that?)
• Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
• Decomposing a system of Boolean functions into subsystems of connected functions
• An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method
• Algebraic decomposition of discrete functions
• Decomposition of multi-output Boolean functions
• A method for bi-decomposition of partial Boolean functions
• Synthesis of combinational circuits by means of bi-decomposition of Boolean functions
• On the size of binary decision diagrams representing Boolean functions
• BDD-based decompositions of multiple output logic functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new approach to the decomposition of Boolean functions by the method of \(q\)-partitions. I: Separating decomposition of full and partial functions
• Decomposition of Boolean functions applying the apparatus of Boolean derivatives
• Series parallel decomposition of a system of incompletely specified Boolean functions
• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
• Methods for decomposition of Boolean functions: algorithms, quality indices, and applications
• Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions
• Experimental comparison of decomposition methods for systems of Boolean function

Uses Software

• ModelSim

This page was built for publication: Decomposition of systems of Boolean functions determined by binary decision diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353738)