Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Algorithms and Data Structures in VLSI Design
Algorithms and Data Structures in VLSI Design
Ordered binary decision diagrams
Logic Synthesis and Verification
IEEE Transactions on Computers
A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits
IEEE Transactions on Computers
The Art of Computer Programming: Combinatorial Algorithms, Part 1
The Art of Computer Programming: Combinatorial Algorithms, Part 1
Decomposition of systems of Boolean functions determined by binary decision diagrams
Journal of Computer and Systems Sciences International
Hi-index | 0.00 |
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.