The Use of Binary Decision Diagrams for the Decomposition of Programmable Logic Arrays

摘要

The decomposition method of programmable logic arrays based on the two-block partitioning of a set of variables and the algorithm of the selection of variable partitioning are suggested. The method utilizes the representation of the system of disjunctive normal functions of completely specified Boolean functions implemented by PLA via a binary decision diagram. The results of the experimental comparison of the software implementing the suggesting method with the known PLA decomposition software packages are presented.