| 摘要 |
A programmable logic device includes means for operating a computing element to compile a set of state-machine states in an incompletely specified state-machine. The state-machine states are compiled into a set of cellular array states in a rectilinear format of columns and rows. Multiple memory cells are located on a main diagonal. Function cells are located removed from the main diagonal for transferring information between the memory cells. Compatible sets of sequences are formed of sequences which have non-equal effect. Compatible sets are processed to form a closed cover. A distinct memory cell is then assigned to each compatible set constituting that closed cover. The closed cover can be formed selectively by having a compatible set consist of either a single entry of one sequence, two or more sequences, being at least a pair of sequences, a maximal compatible set or less than maximal compatible set from a pair of compatibles. Moreover, the compatible set could be a prime compatible set or less than prime compatible set being derived from maximal or less than maximal compatible sets. The closed cover tree contains every sequence which does not have equal effect on the internal states of the state-machine. Each implication set corresponding to a compatible set which constitutes the tree is contained as a subset of at least one compatible set. |
